/ProgTutorial/Package/
drwxr-xr-x [up]
drwxr-xr-x simple-keyword
-rw-r--r-- 2009-03-25 15:09 +0100 28676 Ind_Code.thy
-rw-r--r-- 2009-03-25 15:09 +0100 3995 Ind_General_Scheme.thy
-rw-r--r-- 2009-03-25 15:09 +0100 21211 Ind_Interface.thy
-rw-r--r-- 2009-03-25 15:09 +0100 2262 Ind_Intro.thy
-rw-r--r-- 2009-03-25 15:09 +0100 13129 Ind_Prelims.thy
-rw-r--r-- 2009-03-25 15:09 +0100 546 IsaMakefile
-rw-r--r-- 2009-03-25 15:09 +0100 1209 Simple_Inductive_Package.thy
-rw-r--r-- 2009-03-25 15:09 +0100 7502 simple_inductive_package.ML