/src/HOL/Induct/
drwxr-xr-x [up]
-rw-r--r-- 2000-05-30 18:02 +0200 724 ABexp.ML
-rw-r--r-- 2000-05-30 18:02 +0200 1633 ABexp.thy
-rw-r--r-- 2000-05-30 18:02 +0200 1400 Acc.ML
-rw-r--r-- 2000-05-30 18:02 +0200 670 Acc.thy
-rw-r--r-- 2000-05-30 18:02 +0200 1533 Com.ML
-rw-r--r-- 2000-05-30 18:02 +0200 2473 Com.thy
-rw-r--r-- 2000-05-30 18:02 +0200 5111 Comb.ML
-rw-r--r-- 2000-05-30 18:02 +0200 1920 Comb.thy
-rw-r--r-- 2000-05-30 18:02 +0200 7466 Exp.ML
-rw-r--r-- 2000-05-30 18:02 +0200 896 Exp.thy
-rw-r--r-- 2000-05-30 18:02 +0200 10430 LFilter.ML
-rw-r--r-- 2000-05-30 18:02 +0200 913 LFilter.thy
-rw-r--r-- 2000-05-30 18:02 +0200 27029 LList.ML
-rw-r--r-- 2000-05-30 18:02 +0200 4485 LList.thy
-rw-r--r-- 2000-05-30 18:02 +0200 15840 Multiset.ML
-rw-r--r-- 2000-05-30 18:02 +0200 1678 Multiset.thy
-rw-r--r-- 2000-05-30 18:02 +0200 288 Multiset0.ML
-rw-r--r-- 2000-05-30 18:02 +0200 215 Multiset0.thy
-rw-r--r-- 2000-05-30 18:02 +0200 426 MultisetOrder.thy
-rw-r--r-- 2000-05-30 18:02 +0200 3529 Mutil.ML
-rw-r--r-- 2000-05-30 18:02 +0200 797 Mutil.thy
-rw-r--r-- 2000-05-30 18:02 +0200 4225 Perm.ML
-rw-r--r-- 2000-05-30 18:02 +0200 731 Perm.thy
-rw-r--r-- 2000-05-30 18:02 +0200 6760 PropLog.ML
-rw-r--r-- 2000-05-30 18:02 +0200 1160 PropLog.thy
-rw-r--r-- 2000-05-30 18:02 +0200 1578 README.html
-rw-r--r-- 2000-05-30 18:02 +0200 499 ROOT.ML
-rw-r--r-- 2000-05-30 18:02 +0200 11166 SList.ML
-rw-r--r-- 2000-05-30 18:02 +0200 3639 SList.thy
-rw-r--r-- 2000-05-30 18:02 +0200 3920 Sexp.ML
-rw-r--r-- 2000-05-30 18:02 +0200 1142 Sexp.thy
-rw-r--r-- 2000-05-30 18:02 +0200 872 Term.ML
-rw-r--r-- 2000-05-30 18:02 +0200 716 Term.thy
-rw-r--r-- 2000-05-30 18:02 +0200 526 Tree.ML
-rw-r--r-- 2000-05-30 18:02 +0200 567 Tree.thy