/src/ZF/ex/
drwxr-xr-x [up]
-rw-r--r-- 1997-12-19 10:18 +0100 1668 Acc.ML
-rw-r--r-- 1997-12-19 10:18 +0100 520 Acc.thy
-rw-r--r-- 1997-12-19 10:18 +0100 4125 BT.ML
-rw-r--r-- 1997-12-19 10:18 +0100 750 BT.thy
-rw-r--r-- 1997-12-19 10:18 +0100 3545 BT_Fn.ML
-rw-r--r-- 1997-12-19 10:18 +0100 647 BT_Fn.thy
-rw-r--r-- 1997-12-19 10:18 +0100 13331 Bin.ML
-rw-r--r-- 1997-12-19 10:18 +0100 4867 Bin.thy
-rw-r--r-- 1997-12-19 10:18 +0100 14314 BinFn.ML
-rw-r--r-- 1997-12-19 10:18 +0100 1403 BinFn.thy
-rw-r--r-- 1997-12-19 10:18 +0100 2207 Brouwer.ML
-rw-r--r-- 1997-12-19 10:18 +0100 852 Brouwer.thy
-rw-r--r-- 1997-12-19 10:18 +0100 2734 CoUnit.ML
-rw-r--r-- 1997-12-19 10:18 +0100 853 CoUnit.thy
-rw-r--r-- 1997-12-19 10:18 +0100 7698 Comb.ML
-rw-r--r-- 1997-12-19 10:18 +0100 2172 Comb.thy
-rw-r--r-- 1997-12-19 10:18 +0100 4129 Contract0.ML
-rw-r--r-- 1997-12-19 10:18 +0100 878 Contract0.thy
-rw-r--r-- 1997-12-19 10:18 +0100 1179 Data.ML
-rw-r--r-- 1997-12-19 10:18 +0100 484 Data.thy
-rw-r--r-- 1997-12-19 10:18 +0100 388 Enum.ML
-rw-r--r-- 1997-12-19 10:18 +0100 754 Enum.thy
-rw-r--r-- 1997-12-19 10:18 +0100 9194 Equiv.ML
-rw-r--r-- 1997-12-19 10:18 +0100 654 Equiv.thy
-rw-r--r-- 1997-12-19 10:18 +0100 14355 Integ.ML
-rw-r--r-- 1997-12-19 10:18 +0100 1923 Integ.thy
-rw-r--r-- 1997-12-19 10:18 +0100 6678 LList.ML
-rw-r--r-- 1997-12-19 10:18 +0100 1312 LList.thy
-rw-r--r-- 1997-12-19 10:18 +0100 3473 LListFn.ML
-rw-r--r-- 1997-12-19 10:18 +0100 653 LListFn.thy
-rw-r--r-- 1997-12-19 10:18 +0100 2584 LList_Eq.ML
-rw-r--r-- 1997-12-19 10:18 +0100 104481 Limit.ML
-rw-r--r-- 1997-12-19 10:18 +0100 6169 Limit.thy
-rw-r--r-- 1997-12-19 10:18 +0100 1709 ListN.ML
-rw-r--r-- 1997-12-19 10:18 +0100 586 ListN.thy
-rw-r--r-- 1997-12-19 10:18 +0100 5563 Mutil.ML
-rw-r--r-- 1997-12-19 10:18 +0100 1040 Mutil.thy
-rw-r--r-- 1997-12-19 10:18 +0100 4097 Ntree.ML
-rw-r--r-- 1997-12-19 10:18 +0100 980 Ntree.thy
-rw-r--r-- 1997-12-19 10:18 +0100 5263 ParContract.ML
-rw-r--r-- 1997-12-19 10:18 +0100 6024 Primes.ML
-rw-r--r-- 1997-12-19 10:18 +0100 983 Primes.thy
-rw-r--r-- 1997-12-19 10:18 +0100 12841 Primrec.ML
-rw-r--r-- 1997-12-19 10:18 +0100 1900 Primrec.thy
-rw-r--r-- 1997-12-19 10:18 +0100 13661 Primrec0.ML
-rw-r--r-- 1997-12-19 10:18 +0100 1343 Primrec0.thy
-rw-r--r-- 1997-12-19 10:18 +0100 909 Prop.ML
-rw-r--r-- 1997-12-19 10:18 +0100 10501 PropLog.ML
-rw-r--r-- 1997-12-19 10:18 +0100 1882 PropLog.thy
-rw-r--r-- 1997-12-19 10:18 +0100 666 README.html
-rw-r--r-- 1997-12-19 10:18 +0100 1668 ROOT.ML
-rw-r--r-- 1997-12-19 10:18 +0100 7401 Ramsey.ML
-rw-r--r-- 1997-12-19 10:18 +0100 1236 Ramsey.thy
-rw-r--r-- 1997-12-19 10:18 +0100 1905 Rmap.ML
-rw-r--r-- 1997-12-19 10:18 +0100 540 Rmap.thy
-rw-r--r-- 1997-12-19 10:18 +0100 8281 TF.ML
-rw-r--r-- 1997-12-19 10:18 +0100 1368 TF.thy
-rw-r--r-- 1997-12-19 10:18 +0100 7065 TF_Fn.ML
-rw-r--r-- 1997-12-19 10:18 +0100 1176 TF_Fn.thy
-rw-r--r-- 1997-12-19 10:18 +0100 7759 Term.ML
-rw-r--r-- 1997-12-19 10:18 +0100 1066 Term.thy
-rw-r--r-- 1997-12-19 10:18 +0100 5983 TermFn.ML
-rw-r--r-- 1997-12-19 10:18 +0100 881 TermFn.thy
-rw-r--r-- 1997-12-19 10:18 +0100 1821 acc.ML
-rw-r--r-- 1997-12-19 10:18 +0100 907 bin.ML
-rw-r--r-- 1997-12-19 10:18 +0100 14314 binfn.ML
-rw-r--r-- 1997-12-19 10:18 +0100 1403 binfn.thy
-rw-r--r-- 1997-12-19 10:18 +0100 1384 bt.ML
-rw-r--r-- 1997-12-19 10:18 +0100 3545 bt_fn.ML
-rw-r--r-- 1997-12-19 10:18 +0100 647 bt_fn.thy
-rw-r--r-- 1997-12-19 10:18 +0100 922 comb.ML
-rw-r--r-- 1997-12-19 10:18 +0100 4109 contract0.ML
-rw-r--r-- 1997-12-19 10:18 +0100 878 contract0.thy
-rw-r--r-- 1997-12-19 10:18 +0100 3534 counit.ML
-rw-r--r-- 1997-12-19 10:18 +0100 1622 data.ML
-rw-r--r-- 1997-12-19 10:18 +0100 844 enum.ML
-rw-r--r-- 1997-12-19 10:18 +0100 9182 equiv.ML
-rw-r--r-- 1997-12-19 10:18 +0100 908 equiv.thy
-rw-r--r-- 1997-12-19 10:18 +0100 15775 integ.ML
-rw-r--r-- 1997-12-19 10:18 +0100 1615 integ.thy
-rw-r--r-- 1997-12-19 10:18 +0100 2210 listn.ML
-rw-r--r-- 1997-12-19 10:18 +0100 2422 llist.ML
-rw-r--r-- 1997-12-19 10:18 +0100 2562 llist_eq.ML
-rw-r--r-- 1997-12-19 10:18 +0100 3473 llistfn.ML
-rw-r--r-- 1997-12-19 10:18 +0100 653 llistfn.thy
-rw-r--r-- 1997-12-19 10:18 +0100 5425 misc.ML
-rw-r--r-- 1997-12-19 10:18 +0100 5236 parcontract.ML
-rw-r--r-- 1997-12-19 10:18 +0100 13688 primrec0.ML
-rw-r--r-- 1997-12-19 10:18 +0100 1343 primrec0.thy
-rw-r--r-- 1997-12-19 10:18 +0100 971 prop.ML
-rw-r--r-- 1997-12-19 10:18 +0100 11430 proplog.ML
-rw-r--r-- 1997-12-19 10:18 +0100 1159 proplog.thy
-rw-r--r-- 1997-12-19 10:18 +0100 7967 ramsey.ML
-rw-r--r-- 1997-12-19 10:18 +0100 1223 ramsey.thy
-rw-r--r-- 1997-12-19 10:18 +0100 2810 rmap.ML
-rw-r--r-- 1997-12-19 10:18 +0100 2270 term.ML
-rw-r--r-- 1997-12-19 10:18 +0100 5983 termfn.ML
-rw-r--r-- 1997-12-19 10:18 +0100 881 termfn.thy
-rw-r--r-- 1997-12-19 10:18 +0100 2219 tf.ML
-rw-r--r-- 1997-12-19 10:18 +0100 7065 tf_fn.ML
-rw-r--r-- 1997-12-19 10:18 +0100 1176 tf_fn.thy
-rw-r--r-- 1997-12-19 10:18 +0100 2760 twos-compl.ML
-rw-r--r-- 1997-12-19 10:18 +0100 3437 twos_compl.ML
-rw-r--r-- 1997-12-19 10:18 +0100 230 twos_compl.thy