/
drwxr-xr-x Subst
drwxr-xr-x ex
-rw-r--r-- 1994-03-22 18:07 +0100 8146 Arith.ML
-rw-r--r-- 1994-03-22 18:07 +0100 947 Arith.thy
-rw-r--r-- 1994-03-22 18:07 +0100 16183 Datatype.ML
-rw-r--r-- 1994-03-22 18:07 +0100 17 Datatype.thy
-rw-r--r-- 1994-03-22 18:07 +0100 4615 Gfp.ML
-rw-r--r-- 1994-03-22 18:07 +0100 326 Gfp.thy
-rw-r--r-- 1994-03-22 18:07 +0100 9661 HOL.ML
-rw-r--r-- 1994-03-22 18:07 +0100 4196 HOL.thy
-rw-r--r-- 1994-03-22 18:07 +0100 32510 LList.ML
-rw-r--r-- 1994-03-22 18:07 +0100 4367 LList.thy
-rw-r--r-- 1994-03-22 18:07 +0100 2477 Lfp.ML
-rw-r--r-- 1994-03-22 18:07 +0100 328 Lfp.thy
-rw-r--r-- 1994-03-22 18:07 +0100 13345 List.ML
-rw-r--r-- 1994-03-22 18:07 +0100 4285 List.thy
-rw-r--r-- 1994-03-22 18:07 +0100 2433 Makefile
-rw-r--r-- 1994-03-22 18:07 +0100 13038 Nat.ML
-rw-r--r-- 1994-03-22 18:07 +0100 1519 Nat.thy
-rw-r--r-- 1994-03-22 18:07 +0100 350 Ord.ML
-rw-r--r-- 1994-03-22 18:07 +0100 358 Ord.thy
-rw-r--r-- 1994-03-22 18:07 +0100 6786 Prod.ML
-rw-r--r-- 1994-03-22 18:07 +0100 2070 Prod.thy
-rw-r--r-- 1994-03-22 18:07 +0100 747 README
-rw-r--r-- 1994-03-22 18:07 +0100 2233 ROOT.ML
-rw-r--r-- 1994-03-22 18:07 +0100 14111 Set.ML
-rw-r--r-- 1994-03-22 18:07 +0100 3841 Set.thy
-rw-r--r-- 1994-03-22 18:07 +0100 5475 Sexp.ML
-rw-r--r-- 1994-03-22 18:07 +0100 1074 Sexp.thy
-rw-r--r-- 1994-03-22 18:07 +0100 4250 Sum.ML
-rw-r--r-- 1994-03-22 18:07 +0100 1234 Sum.thy
-rw-r--r-- 1994-03-22 18:07 +0100 7628 Trancl.ML
-rw-r--r-- 1994-03-22 18:07 +0100 915 Trancl.thy
-rw-r--r-- 1994-03-22 18:07 +0100 19648 Univ.ML
-rw-r--r-- 1994-03-22 18:07 +0100 3774 Univ.thy
-rw-r--r-- 1994-03-22 18:07 +0100 6789 WF.ML
-rw-r--r-- 1994-03-22 18:07 +0100 926 WF.thy
-rw-r--r-- 1994-03-22 18:07 +0100 8146 arith.ML
-rw-r--r-- 1994-03-22 18:07 +0100 947 arith.thy
-rw-r--r-- 1994-03-22 18:07 +0100 7209 equalities.ML
-rw-r--r-- 1994-03-22 18:07 +0100 5893 fun.ML
-rw-r--r-- 1994-03-22 18:07 +0100 4615 gfp.ML
-rw-r--r-- 1994-03-22 18:07 +0100 326 gfp.thy
-rw-r--r-- 1994-03-22 18:07 +0100 9661 hol.ML
-rw-r--r-- 1994-03-22 18:07 +0100 4196 hol.thy
-rw-r--r-- 1994-03-22 18:07 +0100 2477 lfp.ML
-rw-r--r-- 1994-03-22 18:07 +0100 328 lfp.thy
-rw-r--r-- 1994-03-22 18:07 +0100 32510 llist.ML
-rw-r--r-- 1994-03-22 18:07 +0100 4367 llist.thy
-rw-r--r-- 1994-03-22 18:07 +0100 2155 mono.ML
-rw-r--r-- 1994-03-22 18:07 +0100 13038 nat.ML
-rw-r--r-- 1994-03-22 18:07 +0100 1519 nat.thy
-rw-r--r-- 1994-03-22 18:07 +0100 350 ord.ML
-rw-r--r-- 1994-03-22 18:07 +0100 358 ord.thy
-rw-r--r-- 1994-03-22 18:07 +0100 6786 prod.ML
-rw-r--r-- 1994-03-22 18:07 +0100 2070 prod.thy
-rw-r--r-- 1994-03-22 18:07 +0100 14111 set.ML
-rw-r--r-- 1994-03-22 18:07 +0100 3841 set.thy
-rw-r--r-- 1994-03-22 18:07 +0100 5475 sexp.ML
-rw-r--r-- 1994-03-22 18:07 +0100 1074 sexp.thy
-rw-r--r-- 1994-03-22 18:07 +0100 4944 simpdata.ML
-rw-r--r-- 1994-03-22 18:07 +0100 3974 subset.ML
-rw-r--r-- 1994-03-22 18:07 +0100 4250 sum.ML
-rw-r--r-- 1994-03-22 18:07 +0100 1234 sum.thy
-rw-r--r-- 1994-03-22 18:07 +0100 224 test.ML
-rw-r--r-- 1994-03-22 18:07 +0100 7628 trancl.ML
-rw-r--r-- 1994-03-22 18:07 +0100 915 trancl.thy
-rw-r--r-- 1994-03-22 18:07 +0100 19648 univ.ML
-rw-r--r-- 1994-03-22 18:07 +0100 3774 univ.thy
-rw-r--r-- 1994-03-22 18:07 +0100 6789 wf.ML
-rw-r--r-- 1994-03-22 18:07 +0100 926 wf.thy