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.
adapted type definition to new syntax
authorclasohm
Thu, 17 Mar 1994 11:24:31 +0100
changeset 278 523518f44286
parent 277 4abe17e92130
child 279 7738aed3f84d
adapted type definition to new syntax
src/CCL/Set.thy file | annotate | diff | comparison | revisions
src/CCL/set.thy file | annotate | diff | comparison | revisions
src/FOL/IFOL.thy file | annotate | diff | comparison | revisions
src/FOL/ifol.thy file | annotate | diff | comparison | revisions 
--- a/src/CCL/Set.thy	Fri Mar 04 12:14:21 1994 +0100
+++ b/src/CCL/Set.thy	Thu Mar 17 11:24:31 1994 +0100
@@ -8,7 +8,7 @@
 Set = FOL +
 
 types
-  set 1
+  'a set
 
 arities
   set :: (term) term
--- a/src/CCL/set.thy	Fri Mar 04 12:14:21 1994 +0100
+++ b/src/CCL/set.thy	Thu Mar 17 11:24:31 1994 +0100
@@ -8,7 +8,7 @@
 Set = FOL +
 
 types
-  set 1
+  'a set
 
 arities
   set :: (term) term
--- a/src/FOL/IFOL.thy	Fri Mar 04 12:14:21 1994 +0100
+++ b/src/FOL/IFOL.thy	Thu Mar 17 11:24:31 1994 +0100
@@ -15,7 +15,7 @@
   term
 
 types
-  o 0
+  o
 
 arities
   o :: logic
--- a/src/FOL/ifol.thy	Fri Mar 04 12:14:21 1994 +0100
+++ b/src/FOL/ifol.thy	Thu Mar 17 11:24:31 1994 +0100
@@ -15,7 +15,7 @@
   term
 
 types
-  o 0
+  o
 
 arities
   o :: logic
isabelle