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/FOL/ex/NatClass.thy
changeset 1322 9b3d3362a048
parent 1246 706cfddca75c
child 17245 1c519a3cca59 
--- a/src/FOL/ex/NatClass.thy	Tue Nov 07 12:57:20 1995 +0100
+++ b/src/FOL/ex/NatClass.thy	Tue Nov 07 12:58:17 1995 +0100
@@ -13,9 +13,9 @@
 NatClass = FOL +
 
 consts
-  "0"           :: "'a"                                 ("0")
-  Suc           :: "'a => 'a"
-  rec           :: "['a, 'a, ['a, 'a] => 'a] => 'a"
+  "0"           :: 'a                                   ("0")
+  Suc           :: 'a => 'a  
+  rec           :: ['a, 'a, ['a, 'a] => 'a] => 'a  
 
 axclass
   nat < term
isabelle