Mercurial Mercurial > repos > Old_HOL / 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.
HOL.thy
changeset 49 9f35f2744fa8
parent 41 054ce38225b9
child 66 14b9286ed036 
--- a/HOL.thy	Wed Mar 02 12:26:55 1994 +0100
+++ b/HOL.thy	Thu Mar 17 11:27:29 1994 +0100
@@ -18,7 +18,7 @@
   term
 
 types
-  bool 0
+  bool
   letbinds, letbind 0
   case_syn,cases_syn 0
Old_HOL