src/HOL/Recdef.thy
author wenzelm
Fri Apr 16 14:49:06 1999 +0200 (1999-04-16)
changeset 6438 e55a1869ed38
parent 5123 97c1d5c7b701
child 7357 d0e16da40ea2
permissions -rw-r--r--
'HOL/recdef' theory data;
induct method setup;
wenzelm@5123
     1
wenzelm@6438
     2
Recdef = WF_Rel +
wenzelm@6438
     3
wenzelm@6438
     4
setup RecdefPackage.setup
wenzelm@6438
     5
setup InductMethod.setup
wenzelm@6438
     6
wenzelm@6438
     7
end