Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Provers/simp.ML
changeset 1 c6a6e3db5353
parent 0 a5a9c433f639
child 231 cb6a24451544 
--- a/src/Provers/simp.ML	Thu Sep 16 12:20:38 1993 +0200
+++ b/src/Provers/simp.ML	Thu Sep 16 14:21:44 1993 +0200
@@ -1,5 +1,4 @@
 (*  Title:      Provers/simp
-    ID:         $Id$
     Author:     Tobias Nipkow
     Copyright   1993  University of Cambridge
isabelle