Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned comments;
authorwenzelm
Sun, 17 Apr 2005 19:38:40 +0200
changeset 15757 fc64a89dc0ee
parent 15756 339a84888a2a
child 15758 07e382399a96
tuned comments;
src/Pure/Isar/proof.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Isar/proof.ML	Sun Apr 17 19:38:30 2005 +0200
+++ b/src/Pure/Isar/proof.ML	Sun Apr 17 19:38:40 2005 +0200
@@ -2,7 +2,7 @@
     ID:         $Id$
     Author:     Markus Wenzel, TU Muenchen
 
-Proof states and methods.
+The Isar/VM proof language interpreter.
 *)
isabelle