aboutsummaryrefslogtreecommitdiffhomepage
path: root/isar/Example.thy
Commit message (Expand)AuthorAge
* WhitespaceGravatar David Aspinall2002-01-16
* tuned;Gravatar Makarius Wenzel2001-12-27
* tuned proof text;Gravatar Makarius Wenzel2001-09-04
* Extra note.Gravatar David Aspinall2000-06-22
* proper indentation;Gravatar Makarius Wenzel2000-06-08
* Removed now spurious semicolons, 8-).Gravatar David Aspinall2000-06-01
* Add -*- isar -*- tag to force mode, and comment to explain.Gravatar David Aspinall2000-05-29
* tuned;Gravatar Makarius Wenzel1999-09-24
* unified example with other proof assistants;Gravatar Makarius Wenzel1999-09-24
* lemma and_comms;Gravatar Makarius Wenzel1999-09-21
* tuned;Gravatar Makarius Wenzel1999-08-18
* oops;Gravatar Makarius Wenzel1999-05-27
* be chatty;Gravatar Makarius Wenzel1999-05-27
* more examples;Gravatar Makarius Wenzel1999-05-25
* initial version of 'isar proof assistant (Isabelle/Isar);Gravatar Makarius Wenzel1999-04-16