src/HOL/Inductive.thy
author wenzelm
Wed Jul 01 11:33:39 1998 +0200 (1998-07-01)
changeset 5105 0ff5bec04d02
parent 5102 8c782c25a11e
child 6437 9bdfe07ba8e9
permissions -rw-r--r--
tuned Inductive.thy;
     1 
     2 Inductive = Gfp + Prod + Sum