/src/ZF/ex/
drwxr-xr-x [up]
-rw-r--r-- 1993-09-30 10:54 +0100 1818 Acc.ML
-rw-r--r-- 1993-09-30 10:54 +0100 1392 BT.ML
-rw-r--r-- 1993-09-30 10:54 +0100 3563 BT_Fn.ML
-rw-r--r-- 1993-09-30 10:54 +0100 647 BT_Fn.thy
-rw-r--r-- 1993-09-30 10:54 +0100 905 Bin.ML
-rw-r--r-- 1993-09-30 10:54 +0100 14313 BinFn.ML
-rw-r--r-- 1993-09-30 10:54 +0100 1403 BinFn.thy
-rw-r--r-- 1993-09-30 10:54 +0100 923 Comb.ML
-rw-r--r-- 1993-09-30 10:54 +0100 4109 Contract0.ML
-rw-r--r-- 1993-09-30 10:54 +0100 878 Contract0.thy
-rw-r--r-- 1993-09-30 10:54 +0100 857 Enum.ML
-rw-r--r-- 1993-09-30 10:54 +0100 9182 Equiv.ML
-rw-r--r-- 1993-09-30 10:54 +0100 908 Equiv.thy
-rw-r--r-- 1993-09-30 10:54 +0100 15802 Integ.ML
-rw-r--r-- 1993-09-30 10:54 +0100 1615 Integ.thy
-rw-r--r-- 1993-09-30 10:54 +0100 4857 LList.ML
-rw-r--r-- 1993-09-30 10:54 +0100 1298 LListFn.ML
-rw-r--r-- 1993-09-30 10:54 +0100 352 LListFn.thy
-rw-r--r-- 1993-09-30 10:54 +0100 1672 ListN.ML
-rw-r--r-- 1993-09-30 10:54 +0100 5236 ParContract.ML
-rw-r--r-- 1993-09-30 10:54 +0100 14383 Primrec0.ML
-rw-r--r-- 1993-09-30 10:54 +0100 1238 Primrec0.thy
-rw-r--r-- 1993-09-30 10:54 +0100 972 Prop.ML
-rw-r--r-- 1993-09-30 10:54 +0100 11430 PropLog.ML
-rw-r--r-- 1993-09-30 10:54 +0100 1159 PropLog.thy
-rw-r--r-- 1993-09-30 10:54 +0100 1531 ROOT.ML
-rw-r--r-- 1993-09-30 10:54 +0100 7967 Ramsey.ML
-rw-r--r-- 1993-09-30 10:54 +0100 1222 Ramsey.thy
-rw-r--r-- 1993-09-30 10:54 +0100 2810 Rmap.ML
-rw-r--r-- 1993-09-30 10:54 +0100 2166 TF.ML
-rw-r--r-- 1993-09-30 10:54 +0100 7110 TF_Fn.ML
-rw-r--r-- 1993-09-30 10:54 +0100 1194 TF_Fn.thy
-rw-r--r-- 1993-09-30 10:54 +0100 2264 Term.ML
-rw-r--r-- 1993-09-30 10:54 +0100 5995 TermFn.ML
-rw-r--r-- 1993-09-30 10:54 +0100 881 TermFn.thy
-rw-r--r-- 1993-09-30 10:54 +0100 1818 acc.ML
-rw-r--r-- 1993-09-30 10:54 +0100 905 bin.ML
-rw-r--r-- 1993-09-30 10:54 +0100 14313 binfn.ML
-rw-r--r-- 1993-09-30 10:54 +0100 1403 binfn.thy
-rw-r--r-- 1993-09-30 10:54 +0100 1392 bt.ML
-rw-r--r-- 1993-09-30 10:54 +0100 3563 bt_fn.ML
-rw-r--r-- 1993-09-30 10:54 +0100 647 bt_fn.thy
-rw-r--r-- 1993-09-30 10:54 +0100 923 comb.ML
-rw-r--r-- 1993-09-30 10:54 +0100 4109 contract0.ML
-rw-r--r-- 1993-09-30 10:54 +0100 878 contract0.thy
-rw-r--r-- 1993-09-30 10:54 +0100 857 enum.ML
-rw-r--r-- 1993-09-30 10:54 +0100 9182 equiv.ML
-rw-r--r-- 1993-09-30 10:54 +0100 908 equiv.thy
-rw-r--r-- 1993-09-30 10:54 +0100 15802 integ.ML
-rw-r--r-- 1993-09-30 10:54 +0100 1615 integ.thy
-rw-r--r-- 1993-09-30 10:54 +0100 1672 listn.ML
-rw-r--r-- 1993-09-30 10:54 +0100 4857 llist.ML
-rw-r--r-- 1993-09-30 10:54 +0100 1298 llistfn.ML
-rw-r--r-- 1993-09-30 10:54 +0100 352 llistfn.thy
-rw-r--r-- 1993-09-30 10:54 +0100 8484 misc.ML
-rw-r--r-- 1993-09-30 10:54 +0100 5236 parcontract.ML
-rw-r--r-- 1993-09-30 10:54 +0100 14383 primrec0.ML
-rw-r--r-- 1993-09-30 10:54 +0100 1238 primrec0.thy
-rw-r--r-- 1993-09-30 10:54 +0100 972 prop.ML
-rw-r--r-- 1993-09-30 10:54 +0100 11430 proplog.ML
-rw-r--r-- 1993-09-30 10:54 +0100 1159 proplog.thy
-rw-r--r-- 1993-09-30 10:54 +0100 7967 ramsey.ML
-rw-r--r-- 1993-09-30 10:54 +0100 1222 ramsey.thy
-rw-r--r-- 1993-09-30 10:54 +0100 2810 rmap.ML
-rw-r--r-- 1993-09-30 10:54 +0100 2264 term.ML
-rw-r--r-- 1993-09-30 10:54 +0100 5995 termfn.ML
-rw-r--r-- 1993-09-30 10:54 +0100 881 termfn.thy
-rw-r--r-- 1993-09-30 10:54 +0100 2166 tf.ML
-rw-r--r-- 1993-09-30 10:54 +0100 7110 tf_fn.ML
-rw-r--r-- 1993-09-30 10:54 +0100 1194 tf_fn.thy
-rw-r--r-- 1993-09-30 10:54 +0100 2760 twos-compl.ML
-rw-r--r-- 1993-09-30 10:54 +0100 2760 twos_compl.ML