/src/ZF/ex/
drwxr-xr-x [up]
-rw-r--r-- 1996-01-30 13:42 +0100 1689 Acc.ML
-rw-r--r-- 1996-01-30 13:42 +0100 513 Acc.thy
-rw-r--r-- 1996-01-30 13:42 +0100 4237 BT.ML
-rw-r--r-- 1996-01-30 13:42 +0100 734 BT.thy
-rw-r--r-- 1996-01-30 13:42 +0100 3545 BT_Fn.ML
-rw-r--r-- 1996-01-30 13:42 +0100 647 BT_Fn.thy
-rw-r--r-- 1996-01-30 13:42 +0100 14206 Bin.ML
-rw-r--r-- 1996-01-30 13:42 +0100 4861 Bin.thy
-rw-r--r-- 1996-01-30 13:42 +0100 14314 BinFn.ML
-rw-r--r-- 1996-01-30 13:42 +0100 1403 BinFn.thy
-rw-r--r-- 1996-01-30 13:42 +0100 2253 Brouwer.ML
-rw-r--r-- 1996-01-30 13:42 +0100 838 Brouwer.thy
-rw-r--r-- 1996-01-30 13:42 +0100 2760 CoUnit.ML
-rw-r--r-- 1996-01-30 13:42 +0100 846 CoUnit.thy
-rw-r--r-- 1996-01-30 13:42 +0100 8274 Comb.ML
-rw-r--r-- 1996-01-30 13:42 +0100 2158 Comb.thy
-rw-r--r-- 1996-01-30 13:42 +0100 4129 Contract0.ML
-rw-r--r-- 1996-01-30 13:42 +0100 878 Contract0.thy
-rw-r--r-- 1996-01-30 13:42 +0100 1208 Data.ML
-rw-r--r-- 1996-01-30 13:42 +0100 477 Data.thy
-rw-r--r-- 1996-01-30 13:42 +0100 384 Enum.ML
-rw-r--r-- 1996-01-30 13:42 +0100 747 Enum.thy
-rw-r--r-- 1996-01-30 13:42 +0100 9194 Equiv.ML
-rw-r--r-- 1996-01-30 13:42 +0100 654 Equiv.thy
-rw-r--r-- 1996-01-30 13:42 +0100 14696 Integ.ML
-rw-r--r-- 1996-01-30 13:42 +0100 1804 Integ.thy
-rw-r--r-- 1996-01-30 13:42 +0100 6859 LList.ML
-rw-r--r-- 1996-01-30 13:42 +0100 1305 LList.thy
-rw-r--r-- 1996-01-30 13:42 +0100 3473 LListFn.ML
-rw-r--r-- 1996-01-30 13:42 +0100 653 LListFn.thy
-rw-r--r-- 1996-01-30 13:42 +0100 2584 LList_Eq.ML
-rw-r--r-- 1996-01-30 13:42 +0100 107960 Limit.ML
-rw-r--r-- 1996-01-30 13:42 +0100 6167 Limit.thy
-rw-r--r-- 1996-01-30 13:42 +0100 1800 ListN.ML
-rw-r--r-- 1996-01-30 13:42 +0100 578 ListN.thy
-rw-r--r-- 1996-01-30 13:42 +0100 4203 Ntree.ML
-rw-r--r-- 1996-01-30 13:42 +0100 964 Ntree.thy
-rw-r--r-- 1996-01-30 13:42 +0100 5263 ParContract.ML
-rw-r--r-- 1996-01-30 13:42 +0100 13292 Primrec.ML
-rw-r--r-- 1996-01-30 13:42 +0100 1869 Primrec.thy
-rw-r--r-- 1996-01-30 13:42 +0100 13661 Primrec0.ML
-rw-r--r-- 1996-01-30 13:42 +0100 1343 Primrec0.thy
-rw-r--r-- 1996-01-30 13:42 +0100 909 Prop.ML
-rw-r--r-- 1996-01-30 13:42 +0100 10710 PropLog.ML
-rw-r--r-- 1996-01-30 13:42 +0100 1826 PropLog.thy
-rw-r--r-- 1996-01-30 13:42 +0100 1469 ROOT.ML
-rw-r--r-- 1996-01-30 13:42 +0100 7849 Ramsey.ML
-rw-r--r-- 1996-01-30 13:42 +0100 1212 Ramsey.thy
-rw-r--r-- 1996-01-30 13:42 +0100 2043 Rmap.ML
-rw-r--r-- 1996-01-30 13:42 +0100 533 Rmap.thy
-rw-r--r-- 1996-01-30 13:42 +0100 8497 TF.ML
-rw-r--r-- 1996-01-30 13:42 +0100 1283 TF.thy
-rw-r--r-- 1996-01-30 13:42 +0100 7065 TF_Fn.ML
-rw-r--r-- 1996-01-30 13:42 +0100 1176 TF_Fn.thy
-rw-r--r-- 1996-01-30 13:42 +0100 7816 Term.ML
-rw-r--r-- 1996-01-30 13:42 +0100 1054 Term.thy
-rw-r--r-- 1996-01-30 13:42 +0100 5983 TermFn.ML
-rw-r--r-- 1996-01-30 13:42 +0100 881 TermFn.thy
-rw-r--r-- 1996-01-30 13:42 +0100 1821 acc.ML
-rw-r--r-- 1996-01-30 13:42 +0100 907 bin.ML
-rw-r--r-- 1996-01-30 13:42 +0100 14314 binfn.ML
-rw-r--r-- 1996-01-30 13:42 +0100 1403 binfn.thy
-rw-r--r-- 1996-01-30 13:42 +0100 1384 bt.ML
-rw-r--r-- 1996-01-30 13:42 +0100 3545 bt_fn.ML
-rw-r--r-- 1996-01-30 13:42 +0100 647 bt_fn.thy
-rw-r--r-- 1996-01-30 13:42 +0100 922 comb.ML
-rw-r--r-- 1996-01-30 13:42 +0100 4109 contract0.ML
-rw-r--r-- 1996-01-30 13:42 +0100 878 contract0.thy
-rw-r--r-- 1996-01-30 13:42 +0100 3534 counit.ML
-rw-r--r-- 1996-01-30 13:42 +0100 1622 data.ML
-rw-r--r-- 1996-01-30 13:42 +0100 844 enum.ML
-rw-r--r-- 1996-01-30 13:42 +0100 9182 equiv.ML
-rw-r--r-- 1996-01-30 13:42 +0100 908 equiv.thy
-rw-r--r-- 1996-01-30 13:42 +0100 15775 integ.ML
-rw-r--r-- 1996-01-30 13:42 +0100 1615 integ.thy
-rw-r--r-- 1996-01-30 13:42 +0100 2210 listn.ML
-rw-r--r-- 1996-01-30 13:42 +0100 2422 llist.ML
-rw-r--r-- 1996-01-30 13:42 +0100 2562 llist_eq.ML
-rw-r--r-- 1996-01-30 13:42 +0100 3473 llistfn.ML
-rw-r--r-- 1996-01-30 13:42 +0100 653 llistfn.thy
-rw-r--r-- 1996-01-30 13:42 +0100 5430 misc.ML
-rw-r--r-- 1996-01-30 13:42 +0100 5236 parcontract.ML
-rw-r--r-- 1996-01-30 13:42 +0100 13688 primrec0.ML
-rw-r--r-- 1996-01-30 13:42 +0100 1343 primrec0.thy
-rw-r--r-- 1996-01-30 13:42 +0100 971 prop.ML
-rw-r--r-- 1996-01-30 13:42 +0100 11430 proplog.ML
-rw-r--r-- 1996-01-30 13:42 +0100 1159 proplog.thy
-rw-r--r-- 1996-01-30 13:42 +0100 7967 ramsey.ML
-rw-r--r-- 1996-01-30 13:42 +0100 1223 ramsey.thy
-rw-r--r-- 1996-01-30 13:42 +0100 2810 rmap.ML
-rw-r--r-- 1996-01-30 13:42 +0100 2270 term.ML
-rw-r--r-- 1996-01-30 13:42 +0100 5983 termfn.ML
-rw-r--r-- 1996-01-30 13:42 +0100 881 termfn.thy
-rw-r--r-- 1996-01-30 13:42 +0100 2219 tf.ML
-rw-r--r-- 1996-01-30 13:42 +0100 7065 tf_fn.ML
-rw-r--r-- 1996-01-30 13:42 +0100 1176 tf_fn.thy
-rw-r--r-- 1996-01-30 13:42 +0100 2760 twos-compl.ML
-rw-r--r-- 1996-01-30 13:42 +0100 3437 twos_compl.ML
-rw-r--r-- 1996-01-30 13:42 +0100 227 twos_compl.thy