aboutsummaryrefslogtreecommitdiffhomepage
path: root/isar/Example.thy
Commit message (Expand)AuthorAge
* isatool fixheaders;Gravatar Makarius Wenzel2005-08-18
* Remove junkGravatar David Aspinall2005-03-25
* Changes from Clemens Ballarin for large X-Symbol fontsGravatar David Aspinall2005-02-15
* Decoration to show off MMM modeGravatar David Aspinall2003-02-18
* Remove comment about selecting PG/Isar.Gravatar David Aspinall2002-09-11
* 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
* 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