/src/ZF/Tools/
drwxr-xr-x [up]
-rw-r--r-- 2017-11-04 19:17 +0100 4774 cartprod.ML
-rw-r--r-- 2017-11-04 19:17 +0100 17829 datatype_package.ML
-rw-r--r-- 2017-11-04 19:17 +0100 2095 ind_cases.ML
-rw-r--r-- 2017-11-04 19:17 +0100 7708 induct_tacs.ML
-rw-r--r-- 2017-11-04 19:17 +0100 25689 inductive_package.ML
-rw-r--r-- 2017-11-04 19:17 +0100 2811 numeral_syntax.ML
-rw-r--r-- 2017-11-04 19:17 +0100 8036 primrec_package.ML
-rw-r--r-- 2017-11-04 19:17 +0100 4327 typechk.ML