/src/ZF/ex/
drwxr-xr-x [up]
-rw-r--r-- 2000-04-15 15:00 +0200 1633 Acc.ML
-rw-r--r-- 2000-04-15 15:00 +0200 517 Acc.thy
-rw-r--r-- 2000-04-15 15:00 +0200 2591 BT.ML
-rw-r--r-- 2000-04-15 15:00 +0200 653 BT.thy
-rw-r--r-- 2000-04-15 15:00 +0200 3545 BT_Fn.ML
-rw-r--r-- 2000-04-15 15:00 +0200 647 BT_Fn.thy
-rw-r--r-- 2000-04-15 15:00 +0200 1140 BinEx.ML
-rw-r--r-- 2000-04-15 15:00 +0200 14314 BinFn.ML
-rw-r--r-- 2000-04-15 15:00 +0200 1403 BinFn.thy
-rw-r--r-- 2000-04-15 15:00 +0200 2171 Brouwer.ML
-rw-r--r-- 2000-04-15 15:00 +0200 846 Brouwer.thy
-rw-r--r-- 2000-04-15 15:00 +0200 2603 CoUnit.ML
-rw-r--r-- 2000-04-15 15:00 +0200 853 CoUnit.thy
-rw-r--r-- 2000-04-15 15:00 +0200 7254 Comb.ML
-rw-r--r-- 2000-04-15 15:00 +0200 2172 Comb.thy
-rw-r--r-- 2000-04-15 15:00 +0200 4129 Contract0.ML
-rw-r--r-- 2000-04-15 15:00 +0200 878 Contract0.thy
-rw-r--r-- 2000-04-15 15:00 +0200 1145 Data.ML
-rw-r--r-- 2000-04-15 15:00 +0200 484 Data.thy
-rw-r--r-- 2000-04-15 15:00 +0200 331 Enum.ML
-rw-r--r-- 2000-04-15 15:00 +0200 754 Enum.thy
-rw-r--r-- 2000-04-15 15:00 +0200 9194 Equiv.ML
-rw-r--r-- 2000-04-15 15:00 +0200 654 Equiv.thy
-rw-r--r-- 2000-04-15 15:00 +0200 6606 LList.ML
-rw-r--r-- 2000-04-15 15:00 +0200 1312 LList.thy
-rw-r--r-- 2000-04-15 15:00 +0200 3473 LListFn.ML
-rw-r--r-- 2000-04-15 15:00 +0200 653 LListFn.thy
-rw-r--r-- 2000-04-15 15:00 +0200 2584 LList_Eq.ML
-rw-r--r-- 2000-04-15 15:00 +0200 90929 Limit.ML
-rw-r--r-- 2000-04-15 15:00 +0200 6161 Limit.thy
-rw-r--r-- 2000-04-15 15:00 +0200 1495 ListN.ML
-rw-r--r-- 2000-04-15 15:00 +0200 586 ListN.thy
-rw-r--r-- 2000-04-15 15:00 +0200 5321 Mutil.ML
-rw-r--r-- 2000-04-15 15:00 +0200 1034 Mutil.thy
-rw-r--r-- 2000-04-15 15:00 +0200 4737 Ntree.ML
-rw-r--r-- 2000-04-15 15:00 +0200 1213 Ntree.thy
-rw-r--r-- 2000-04-15 15:00 +0200 5263 ParContract.ML
-rw-r--r-- 2000-04-15 15:00 +0200 5847 Primes.ML
-rw-r--r-- 2000-04-15 15:00 +0200 983 Primes.thy
-rw-r--r-- 2000-04-15 15:00 +0200 9910 Primrec.ML
-rw-r--r-- 2000-04-15 15:00 +0200 1160 Primrec.thy
-rw-r--r-- 2000-04-15 15:00 +0200 13661 Primrec0.ML
-rw-r--r-- 2000-04-15 15:00 +0200 1343 Primrec0.thy
-rw-r--r-- 2000-04-15 15:00 +0200 1071 Primrec_defs.ML
-rw-r--r-- 2000-04-15 15:00 +0200 1225 Primrec_defs.thy
-rw-r--r-- 2000-04-15 15:00 +0200 909 Prop.ML
-rw-r--r-- 2000-04-15 15:00 +0200 8113 PropLog.ML
-rw-r--r-- 2000-04-15 15:00 +0200 1940 PropLog.thy
-rw-r--r-- 2000-04-15 15:00 +0200 665 README.html
-rw-r--r-- 2000-04-15 15:00 +0200 1600 ROOT.ML
-rw-r--r-- 2000-04-15 15:00 +0200 6652 Ramsey.ML
-rw-r--r-- 2000-04-15 15:00 +0200 1236 Ramsey.thy
-rw-r--r-- 2000-04-15 15:00 +0200 1726 Rmap.ML
-rw-r--r-- 2000-04-15 15:00 +0200 540 Rmap.thy
-rw-r--r-- 2000-04-15 15:00 +0200 5566 TF.ML
-rw-r--r-- 2000-04-15 15:00 +0200 1415 TF.thy
-rw-r--r-- 2000-04-15 15:00 +0200 7065 TF_Fn.ML
-rw-r--r-- 2000-04-15 15:00 +0200 1176 TF_Fn.thy
-rw-r--r-- 2000-04-15 15:00 +0200 7268 Term.ML
-rw-r--r-- 2000-04-15 15:00 +0200 1085 Term.thy
-rw-r--r-- 2000-04-15 15:00 +0200 5983 TermFn.ML
-rw-r--r-- 2000-04-15 15:00 +0200 881 TermFn.thy
-rw-r--r-- 2000-04-15 15:00 +0200 1821 acc.ML
-rw-r--r-- 2000-04-15 15:00 +0200 907 bin.ML
-rw-r--r-- 2000-04-15 15:00 +0200 14314 binfn.ML
-rw-r--r-- 2000-04-15 15:00 +0200 1403 binfn.thy
-rw-r--r-- 2000-04-15 15:00 +0200 1384 bt.ML
-rw-r--r-- 2000-04-15 15:00 +0200 3545 bt_fn.ML
-rw-r--r-- 2000-04-15 15:00 +0200 647 bt_fn.thy
-rw-r--r-- 2000-04-15 15:00 +0200 922 comb.ML
-rw-r--r-- 2000-04-15 15:00 +0200 4109 contract0.ML
-rw-r--r-- 2000-04-15 15:00 +0200 878 contract0.thy
-rw-r--r-- 2000-04-15 15:00 +0200 3534 counit.ML
-rw-r--r-- 2000-04-15 15:00 +0200 1622 data.ML
-rw-r--r-- 2000-04-15 15:00 +0200 844 enum.ML
-rw-r--r-- 2000-04-15 15:00 +0200 9182 equiv.ML
-rw-r--r-- 2000-04-15 15:00 +0200 908 equiv.thy
-rw-r--r-- 2000-04-15 15:00 +0200 15775 integ.ML
-rw-r--r-- 2000-04-15 15:00 +0200 1615 integ.thy
-rw-r--r-- 2000-04-15 15:00 +0200 2210 listn.ML
-rw-r--r-- 2000-04-15 15:00 +0200 2422 llist.ML
-rw-r--r-- 2000-04-15 15:00 +0200 2562 llist_eq.ML
-rw-r--r-- 2000-04-15 15:00 +0200 3473 llistfn.ML
-rw-r--r-- 2000-04-15 15:00 +0200 653 llistfn.thy
-rw-r--r-- 2000-04-15 15:00 +0200 6568 misc.ML
-rw-r--r-- 2000-04-15 15:00 +0200 5236 parcontract.ML
-rw-r--r-- 2000-04-15 15:00 +0200 13688 primrec0.ML
-rw-r--r-- 2000-04-15 15:00 +0200 1343 primrec0.thy
-rw-r--r-- 2000-04-15 15:00 +0200 971 prop.ML
-rw-r--r-- 2000-04-15 15:00 +0200 11430 proplog.ML
-rw-r--r-- 2000-04-15 15:00 +0200 1159 proplog.thy
-rw-r--r-- 2000-04-15 15:00 +0200 7967 ramsey.ML
-rw-r--r-- 2000-04-15 15:00 +0200 1223 ramsey.thy
-rw-r--r-- 2000-04-15 15:00 +0200 2810 rmap.ML
-rw-r--r-- 2000-04-15 15:00 +0200 2270 term.ML
-rw-r--r-- 2000-04-15 15:00 +0200 5983 termfn.ML
-rw-r--r-- 2000-04-15 15:00 +0200 881 termfn.thy
-rw-r--r-- 2000-04-15 15:00 +0200 2219 tf.ML
-rw-r--r-- 2000-04-15 15:00 +0200 7065 tf_fn.ML
-rw-r--r-- 2000-04-15 15:00 +0200 1176 tf_fn.thy
-rw-r--r-- 2000-04-15 15:00 +0200 2760 twos-compl.ML