/ProgTutorial/Package/
drwxr-xr-x [up]
drwxr-xr-x simple-keyword
-rw-r--r-- 2013-12-15 23:49 +0000 41637 Ind_Code.thy
-rw-r--r-- 2013-12-15 23:49 +0000 7764 Ind_Extensions.thy
-rw-r--r-- 2013-12-15 23:49 +0000 10409 Ind_General_Scheme.thy
-rw-r--r-- 2013-12-15 23:49 +0000 6981 Ind_Interface.thy
-rw-r--r-- 2013-12-15 23:49 +0000 2500 Ind_Intro.thy
-rw-r--r-- 2013-12-15 23:49 +0000 13051 Ind_Prelims.thy
-rw-r--r-- 2013-12-15 23:49 +0000 546 IsaMakefile
-rw-r--r-- 2013-12-15 23:49 +0000 1211 Simple_Inductive_Package.thy
-rw-r--r-- 2013-12-15 23:49 +0000 7493 simple_inductive_package.ML