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/ZF/ex/Acc.thy
changeset 1401 0c439768f45c
parent 809 1daa0269eb5d
child 1478 2b8c2a7547ab 
--- a/src/ZF/ex/Acc.thy	Fri Dec 08 19:48:15 1995 +0100
+++ b/src/ZF/ex/Acc.thy	Sat Dec 09 13:36:11 1995 +0100
@@ -12,7 +12,7 @@
 Acc = WF + Inductive +
 
 consts
-  acc :: "i=>i"
+  acc :: i=>i
 
 inductive
   domains "acc(r)" <= "field(r)"
isabelle