/src/ZF/ex/
drwxr-xr-x [up]
-rw-r--r-- 1993-09-16 12:20 +0200 1818 Acc.ML
-rw-r--r-- 1993-09-16 12:20 +0200 1392 BT.ML
-rw-r--r-- 1993-09-16 12:20 +0200 3795 BT_Fn.ML
-rw-r--r-- 1993-09-16 12:20 +0200 647 BT_Fn.thy
-rw-r--r-- 1993-09-16 12:20 +0200 1180 Bin.ML
-rw-r--r-- 1993-09-16 12:20 +0200 14800 BinFn.ML
-rw-r--r-- 1993-09-16 12:20 +0200 1403 BinFn.thy
-rw-r--r-- 1993-09-16 12:20 +0200 1198 Comb.ML
-rw-r--r-- 1993-09-16 12:20 +0200 4125 Contract0.ML
-rw-r--r-- 1993-09-16 12:20 +0200 894 Contract0.thy
-rw-r--r-- 1993-09-16 12:20 +0200 856 Enum.ML
-rw-r--r-- 1993-09-16 12:20 +0200 9181 Equiv.ML
-rw-r--r-- 1993-09-16 12:20 +0200 908 Equiv.thy
-rw-r--r-- 1993-09-16 12:20 +0200 16013 Integ.ML
-rw-r--r-- 1993-09-16 12:20 +0200 1615 Integ.thy
-rw-r--r-- 1993-09-16 12:20 +0200 4721 LList.ML
-rw-r--r-- 1993-09-16 12:20 +0200 1298 LListFn.ML
-rw-r--r-- 1993-09-16 12:20 +0200 352 LListFn.thy
-rw-r--r-- 1993-09-16 12:20 +0200 1587 ListN.ML
-rw-r--r-- 1993-09-16 12:20 +0200 5236 ParContract.ML
-rw-r--r-- 1993-09-16 12:20 +0200 1242 Prop.ML
-rw-r--r-- 1993-09-16 12:20 +0200 11549 PropLog.ML
-rw-r--r-- 1993-09-16 12:20 +0200 1159 PropLog.thy
-rw-r--r-- 1993-09-16 12:20 +0200 1446 ROOT.ML
-rw-r--r-- 1993-09-16 12:20 +0200 7999 Ramsey.ML
-rw-r--r-- 1993-09-16 12:20 +0200 1222 Ramsey.thy
-rw-r--r-- 1993-09-16 12:20 +0200 2166 TF.ML
-rw-r--r-- 1993-09-16 12:20 +0200 7361 TF_Fn.ML
-rw-r--r-- 1993-09-16 12:20 +0200 1194 TF_Fn.thy
-rw-r--r-- 1993-09-16 12:20 +0200 2280 Term.ML
-rw-r--r-- 1993-09-16 12:20 +0200 6176 TermFn.ML
-rw-r--r-- 1993-09-16 12:20 +0200 881 TermFn.thy
-rw-r--r-- 1993-09-16 12:20 +0200 1818 acc.ML
-rw-r--r-- 1993-09-16 12:20 +0200 1180 bin.ML
-rw-r--r-- 1993-09-16 12:20 +0200 14800 binfn.ML
-rw-r--r-- 1993-09-16 12:20 +0200 1403 binfn.thy
-rw-r--r-- 1993-09-16 12:20 +0200 1392 bt.ML
-rw-r--r-- 1993-09-16 12:20 +0200 3795 bt_fn.ML
-rw-r--r-- 1993-09-16 12:20 +0200 647 bt_fn.thy
-rw-r--r-- 1993-09-16 12:20 +0200 1198 comb.ML
-rw-r--r-- 1993-09-16 12:20 +0200 4125 contract0.ML
-rw-r--r-- 1993-09-16 12:20 +0200 894 contract0.thy
-rw-r--r-- 1993-09-16 12:20 +0200 856 enum.ML
-rw-r--r-- 1993-09-16 12:20 +0200 9181 equiv.ML
-rw-r--r-- 1993-09-16 12:20 +0200 908 equiv.thy
-rw-r--r-- 1993-09-16 12:20 +0200 16013 integ.ML
-rw-r--r-- 1993-09-16 12:20 +0200 1615 integ.thy
-rw-r--r-- 1993-09-16 12:20 +0200 1587 listn.ML
-rw-r--r-- 1993-09-16 12:20 +0200 4721 llist.ML
-rw-r--r-- 1993-09-16 12:20 +0200 1298 llistfn.ML
-rw-r--r-- 1993-09-16 12:20 +0200 352 llistfn.thy
-rw-r--r-- 1993-09-16 12:20 +0200 7449 misc.ML
-rw-r--r-- 1993-09-16 12:20 +0200 5236 parcontract.ML
-rw-r--r-- 1993-09-16 12:20 +0200 1242 prop.ML
-rw-r--r-- 1993-09-16 12:20 +0200 11549 proplog.ML
-rw-r--r-- 1993-09-16 12:20 +0200 1159 proplog.thy
-rw-r--r-- 1993-09-16 12:20 +0200 7999 ramsey.ML
-rw-r--r-- 1993-09-16 12:20 +0200 1222 ramsey.thy
-rw-r--r-- 1993-09-16 12:20 +0200 2280 term.ML
-rw-r--r-- 1993-09-16 12:20 +0200 6176 termfn.ML
-rw-r--r-- 1993-09-16 12:20 +0200 881 termfn.thy
-rw-r--r-- 1993-09-16 12:20 +0200 2166 tf.ML
-rw-r--r-- 1993-09-16 12:20 +0200 7361 tf_fn.ML
-rw-r--r-- 1993-09-16 12:20 +0200 1194 tf_fn.thy
-rw-r--r-- 1993-09-16 12:20 +0200 2760 twos-compl.ML
-rw-r--r-- 1993-09-16 12:20 +0200 2760 twos_compl.ML