/src/ZF/ex/
drwxr-xr-x [up]
-rw-r--r-- 1994-08-16 18:58 +0200 1699 Acc.ML
-rw-r--r-- 1994-08-16 18:58 +0200 519 Acc.thy
-rw-r--r-- 1994-08-16 18:58 +0200 4291 BT.ML
-rw-r--r-- 1994-08-16 18:58 +0200 744 BT.thy
-rw-r--r-- 1994-08-16 18:58 +0200 3545 BT_Fn.ML
-rw-r--r-- 1994-08-16 18:58 +0200 647 BT_Fn.thy
-rw-r--r-- 1994-08-16 18:58 +0200 14431 Bin.ML
-rw-r--r-- 1994-08-16 18:58 +0200 1555 Bin.thy
-rw-r--r-- 1994-08-16 18:58 +0200 14314 BinFn.ML
-rw-r--r-- 1994-08-16 18:58 +0200 1403 BinFn.thy
-rw-r--r-- 1994-08-16 18:58 +0200 2098 Brouwer.ML
-rw-r--r-- 1994-08-16 18:58 +0200 844 Brouwer.thy
-rw-r--r-- 1994-08-16 18:58 +0200 2793 CoUnit.ML
-rw-r--r-- 1994-08-16 18:58 +0200 860 CoUnit.thy
-rw-r--r-- 1994-08-16 18:58 +0200 8294 Comb.ML
-rw-r--r-- 1994-08-16 18:58 +0200 2190 Comb.thy
-rw-r--r-- 1994-08-16 18:58 +0200 4129 Contract0.ML
-rw-r--r-- 1994-08-16 18:58 +0200 878 Contract0.thy
-rw-r--r-- 1994-08-16 18:58 +0200 1208 Data.ML
-rw-r--r-- 1994-08-16 18:58 +0200 475 Data.thy
-rw-r--r-- 1994-08-16 18:58 +0200 377 Enum.ML
-rw-r--r-- 1994-08-16 18:58 +0200 758 Enum.thy
-rw-r--r-- 1994-08-16 18:58 +0200 9194 Equiv.ML
-rw-r--r-- 1994-08-16 18:58 +0200 654 Equiv.thy
-rw-r--r-- 1994-08-16 18:58 +0200 13841 Integ.ML
-rw-r--r-- 1994-08-16 18:58 +0200 1620 Integ.thy
-rw-r--r-- 1994-08-16 18:58 +0200 6901 LList.ML
-rw-r--r-- 1994-08-16 18:58 +0200 1320 LList.thy
-rw-r--r-- 1994-08-16 18:58 +0200 3473 LListFn.ML
-rw-r--r-- 1994-08-16 18:58 +0200 653 LListFn.thy
-rw-r--r-- 1994-08-16 18:58 +0200 2584 LList_Eq.ML
-rw-r--r-- 1994-08-16 18:58 +0200 1817 ListN.ML
-rw-r--r-- 1994-08-16 18:58 +0200 580 ListN.thy
-rw-r--r-- 1994-08-16 18:58 +0200 2389 Ntree.ML
-rw-r--r-- 1994-08-16 18:58 +0200 594 Ntree.thy
-rw-r--r-- 1994-08-16 18:58 +0200 5263 ParContract.ML
-rw-r--r-- 1994-08-16 18:58 +0200 13080 Primrec.ML
-rw-r--r-- 1994-08-16 18:58 +0200 1896 Primrec.thy
-rw-r--r-- 1994-08-16 18:58 +0200 13661 Primrec0.ML
-rw-r--r-- 1994-08-16 18:58 +0200 1343 Primrec0.thy
-rw-r--r-- 1994-08-16 18:58 +0200 909 Prop.ML
-rw-r--r-- 1994-08-16 18:58 +0200 10904 PropLog.ML
-rw-r--r-- 1994-08-16 18:58 +0200 1843 PropLog.thy
-rw-r--r-- 1994-08-16 18:58 +0200 1419 ROOT.ML
-rw-r--r-- 1994-08-16 18:58 +0200 7966 Ramsey.ML
-rw-r--r-- 1994-08-16 18:58 +0200 1223 Ramsey.thy
-rw-r--r-- 1994-08-16 18:58 +0200 2403 Rmap.ML
-rw-r--r-- 1994-08-16 18:58 +0200 537 Rmap.thy
-rw-r--r-- 1994-08-16 18:58 +0200 8507 TF.ML
-rw-r--r-- 1994-08-16 18:58 +0200 1314 TF.thy
-rw-r--r-- 1994-08-16 18:58 +0200 7065 TF_Fn.ML
-rw-r--r-- 1994-08-16 18:58 +0200 1176 TF_Fn.thy
-rw-r--r-- 1994-08-16 18:58 +0200 7886 Term.ML
-rw-r--r-- 1994-08-16 18:58 +0200 996 Term.thy
-rw-r--r-- 1994-08-16 18:58 +0200 5983 TermFn.ML
-rw-r--r-- 1994-08-16 18:58 +0200 881 TermFn.thy
-rw-r--r-- 1994-08-16 18:58 +0200 1821 acc.ML
-rw-r--r-- 1994-08-16 18:58 +0200 907 bin.ML
-rw-r--r-- 1994-08-16 18:58 +0200 14314 binfn.ML
-rw-r--r-- 1994-08-16 18:58 +0200 1403 binfn.thy
-rw-r--r-- 1994-08-16 18:58 +0200 1384 bt.ML
-rw-r--r-- 1994-08-16 18:58 +0200 3545 bt_fn.ML
-rw-r--r-- 1994-08-16 18:58 +0200 647 bt_fn.thy
-rw-r--r-- 1994-08-16 18:58 +0200 922 comb.ML
-rw-r--r-- 1994-08-16 18:58 +0200 4109 contract0.ML
-rw-r--r-- 1994-08-16 18:58 +0200 878 contract0.thy
-rw-r--r-- 1994-08-16 18:58 +0200 3534 counit.ML
-rw-r--r-- 1994-08-16 18:58 +0200 1622 data.ML
-rw-r--r-- 1994-08-16 18:58 +0200 844 enum.ML
-rw-r--r-- 1994-08-16 18:58 +0200 9182 equiv.ML
-rw-r--r-- 1994-08-16 18:58 +0200 908 equiv.thy
-rw-r--r-- 1994-08-16 18:58 +0200 15775 integ.ML
-rw-r--r-- 1994-08-16 18:58 +0200 1615 integ.thy
-rw-r--r-- 1994-08-16 18:58 +0200 2210 listn.ML
-rw-r--r-- 1994-08-16 18:58 +0200 2422 llist.ML
-rw-r--r-- 1994-08-16 18:58 +0200 2562 llist_eq.ML
-rw-r--r-- 1994-08-16 18:58 +0200 3473 llistfn.ML
-rw-r--r-- 1994-08-16 18:58 +0200 653 llistfn.thy
-rw-r--r-- 1994-08-16 18:58 +0200 6827 misc.ML
-rw-r--r-- 1994-08-16 18:58 +0200 5236 parcontract.ML
-rw-r--r-- 1994-08-16 18:58 +0200 13688 primrec0.ML
-rw-r--r-- 1994-08-16 18:58 +0200 1343 primrec0.thy
-rw-r--r-- 1994-08-16 18:58 +0200 971 prop.ML
-rw-r--r-- 1994-08-16 18:58 +0200 11430 proplog.ML
-rw-r--r-- 1994-08-16 18:58 +0200 1159 proplog.thy
-rw-r--r-- 1994-08-16 18:58 +0200 7967 ramsey.ML
-rw-r--r-- 1994-08-16 18:58 +0200 1223 ramsey.thy
-rw-r--r-- 1994-08-16 18:58 +0200 2810 rmap.ML
-rw-r--r-- 1994-08-16 18:58 +0200 2270 term.ML
-rw-r--r-- 1994-08-16 18:58 +0200 5983 termfn.ML
-rw-r--r-- 1994-08-16 18:58 +0200 881 termfn.thy
-rw-r--r-- 1994-08-16 18:58 +0200 2219 tf.ML
-rw-r--r-- 1994-08-16 18:58 +0200 7065 tf_fn.ML
-rw-r--r-- 1994-08-16 18:58 +0200 1176 tf_fn.thy
-rw-r--r-- 1994-08-16 18:58 +0200 2760 twos-compl.ML
-rw-r--r-- 1994-08-16 18:58 +0200 2760 twos_compl.ML