/
drwxr-xr-x Subst
drwxr-xr-x ex
-rw-r--r-- 1993-10-07 10:29 +0100 7776 Arith.ML
-rw-r--r-- 1993-10-07 10:29 +0100 873 Arith.thy
-rw-r--r-- 1993-10-07 10:29 +0100 4615 Gfp.ML
-rw-r--r-- 1993-10-07 10:29 +0100 326 Gfp.thy
-rw-r--r-- 1993-10-07 10:29 +0100 9358 HOL.ML
-rw-r--r-- 1993-10-07 10:29 +0100 3654 HOL.thy
-rw-r--r-- 1993-10-07 10:29 +0100 32417 LList.ML
-rw-r--r-- 1993-10-07 10:29 +0100 4350 LList.thy
-rw-r--r-- 1993-10-07 10:29 +0100 2477 Lfp.ML
-rw-r--r-- 1993-10-07 10:29 +0100 328 Lfp.thy
-rw-r--r-- 1993-10-07 10:29 +0100 11460 List.ML
-rw-r--r-- 1993-10-07 10:29 +0100 3463 List.thy
-rw-r--r-- 1993-10-07 10:29 +0100 1770 Makefile
-rw-r--r-- 1993-10-07 10:29 +0100 12702 Nat.ML
-rw-r--r-- 1993-10-07 10:29 +0100 1515 Nat.thy
-rw-r--r-- 1993-10-07 10:29 +0100 350 Ord.ML
-rw-r--r-- 1993-10-07 10:29 +0100 358 Ord.thy
-rw-r--r-- 1993-10-07 10:29 +0100 6595 Prod.ML
-rw-r--r-- 1993-10-07 10:29 +0100 2089 Prod.thy
-rw-r--r-- 1993-10-07 10:29 +0100 673 README
-rw-r--r-- 1993-10-07 10:29 +0100 2280 ROOT.ML
-rw-r--r-- 1993-10-07 10:29 +0100 14111 Set.ML
-rw-r--r-- 1993-10-07 10:29 +0100 3734 Set.thy
-rw-r--r-- 1993-10-07 10:29 +0100 5475 Sexp.ML
-rw-r--r-- 1993-10-07 10:29 +0100 1074 Sexp.thy
-rw-r--r-- 1993-10-07 10:29 +0100 4174 Sum.ML
-rw-r--r-- 1993-10-07 10:29 +0100 1200 Sum.thy
-rw-r--r-- 1993-10-07 10:29 +0100 7628 Trancl.ML
-rw-r--r-- 1993-10-07 10:29 +0100 915 Trancl.thy
-rw-r--r-- 1993-10-07 10:29 +0100 19648 Univ.ML
-rw-r--r-- 1993-10-07 10:29 +0100 3768 Univ.thy
-rw-r--r-- 1993-10-07 10:29 +0100 6789 WF.ML
-rw-r--r-- 1993-10-07 10:29 +0100 926 WF.thy
-rw-r--r-- 1993-10-07 10:29 +0100 7776 arith.ML
-rw-r--r-- 1993-10-07 10:29 +0100 873 arith.thy
-rw-r--r-- 1993-10-07 10:29 +0100 6897 equalities.ML
-rw-r--r-- 1993-10-07 10:29 +0100 5837 fun.ML
-rw-r--r-- 1993-10-07 10:29 +0100 4615 gfp.ML
-rw-r--r-- 1993-10-07 10:29 +0100 326 gfp.thy
-rw-r--r-- 1993-10-07 10:29 +0100 9358 hol.ML
-rw-r--r-- 1993-10-07 10:29 +0100 3654 hol.thy
-rw-r--r-- 1993-10-07 10:29 +0100 2477 lfp.ML
-rw-r--r-- 1993-10-07 10:29 +0100 328 lfp.thy
-rw-r--r-- 1993-10-07 10:29 +0100 32417 llist.ML
-rw-r--r-- 1993-10-07 10:29 +0100 4350 llist.thy
-rw-r--r-- 1993-10-07 10:29 +0100 2155 mono.ML
-rw-r--r-- 1993-10-07 10:29 +0100 12702 nat.ML
-rw-r--r-- 1993-10-07 10:29 +0100 1515 nat.thy
-rw-r--r-- 1993-10-07 10:29 +0100 350 ord.ML
-rw-r--r-- 1993-10-07 10:29 +0100 358 ord.thy
-rw-r--r-- 1993-10-07 10:29 +0100 6595 prod.ML
-rw-r--r-- 1993-10-07 10:29 +0100 2089 prod.thy
-rw-r--r-- 1993-10-07 10:29 +0100 14111 set.ML
-rw-r--r-- 1993-10-07 10:29 +0100 3734 set.thy
-rw-r--r-- 1993-10-07 10:29 +0100 5475 sexp.ML
-rw-r--r-- 1993-10-07 10:29 +0100 1074 sexp.thy
-rw-r--r-- 1993-10-07 10:29 +0100 3751 simpdata.ML
-rw-r--r-- 1993-10-07 10:29 +0100 4225 subset.ML
-rw-r--r-- 1993-10-07 10:29 +0100 4174 sum.ML
-rw-r--r-- 1993-10-07 10:29 +0100 1200 sum.thy
-rw-r--r-- 1993-10-07 10:29 +0100 224 test.ML
-rw-r--r-- 1993-10-07 10:29 +0100 7628 trancl.ML
-rw-r--r-- 1993-10-07 10:29 +0100 915 trancl.thy
-rw-r--r-- 1993-10-07 10:29 +0100 19648 univ.ML
-rw-r--r-- 1993-10-07 10:29 +0100 3768 univ.thy
-rw-r--r-- 1993-10-07 10:29 +0100 6789 wf.ML
-rw-r--r-- 1993-10-07 10:29 +0100 926 wf.thy