aboutsummaryrefslogtreecommitdiffhomepage
path: root/isar/Example.thy
Commit message (Collapse)AuthorAge
* Remove comment at the end testing feature. See etc/isar/Parsing.thy instead.Gravatar David Aspinall2002-08-12
|
* WhitespaceGravatar David Aspinall2002-01-16
|
* tuned;Gravatar Makarius Wenzel2001-12-27
|
* tuned proof text;Gravatar Makarius Wenzel2001-09-04
| | | | added script version;
* 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