/CookBook/Package/
drwxr-xr-x [up]
-rw-r--r-- 2008-10-20 06:22 +0000 10955 Ind_Examples.thy
-rw-r--r-- 2008-10-20 06:22 +0000 3668 Ind_General_Scheme.thy
-rw-r--r-- 2008-10-20 06:22 +0000 23649 Ind_Interface.thy
-rw-r--r-- 2008-10-20 06:22 +0000 6160 Ind_Intro.thy
-rw-r--r-- 2008-10-20 06:22 +0000 135 Simple_Inductive_Package.thy
-rw-r--r-- 2008-10-20 06:22 +0000 6154 simple_inductive_package.ML