/src/ZF/Tools/
drwxr-xr-x [up]
-rw-r--r-- 1999-07-10 21:51 +0200 4835 cartprod.ML
-rw-r--r-- 1999-07-10 21:51 +0200 14424 datatype_package.ML
-rw-r--r-- 1999-07-10 21:51 +0200 5852 induct_tacs.ML
-rw-r--r-- 1999-07-10 21:51 +0200 20568 inductive_package.ML
-rw-r--r-- 1999-07-10 21:51 +0200 7163 primrec_package.ML
-rw-r--r-- 1999-07-10 21:51 +0200 3656 typechk.ML