src/HOL/Inductive.thy
author wenzelm
Thu Mar 11 13:20:35 1999 +0100 (1999-03-11)
changeset 6349 f7750d816c21
parent 5105 0ff5bec04d02
child 6437 9bdfe07ba8e9
permissions -rw-r--r--
removed foo_build_completed -- now handled by session management (via usedir);
lcp@1187
     1
wenzelm@5105
     2
Inductive = Gfp + Prod + Sum