src/HOL/Inductive.thy
author wenzelm
Thu Jan 23 14:19:16 1997 +0100 (1997-01-23)
changeset 2545 d10abc8c11fb
parent 1862 74d4ae2f6fc3
child 5102 8c782c25a11e
permissions -rw-r--r--
added AxClasses test;
     1 Inductive = Gfp + Prod + Sum + "indrule"
     2 
     3