--- a/src/ZF/ex/Acc.thy Mon Dec 19 15:17:29 1994 +0100 +++ b/src/ZF/ex/Acc.thy Mon Dec 19 15:22:42 1994 +0100 @@ -9,7 +9,7 @@ Research Report 92-49, LIP, ENS Lyon. Dec 1992. *) -Acc = WF + "Inductive" + +Acc = WF + Inductive + consts acc :: "i=>i"