/src/HOL/Induct/
drwxr-xr-x [up]
-rw-r--r-- 1997-12-24 10:02 +0100 1853 Acc.ML
-rw-r--r-- 1997-12-24 10:02 +0100 634 Acc.thy
-rw-r--r-- 1997-12-24 10:02 +0100 1801 Com.ML
-rw-r--r-- 1997-12-24 10:02 +0100 2470 Com.thy
-rw-r--r-- 1997-12-24 10:02 +0100 5454 Comb.ML
-rw-r--r-- 1997-12-24 10:02 +0100 1917 Comb.thy
-rw-r--r-- 1997-12-24 10:02 +0100 7640 Exp.ML
-rw-r--r-- 1997-12-24 10:02 +0100 900 Exp.thy
-rw-r--r-- 1997-12-24 10:02 +0100 11590 LFilter.ML
-rw-r--r-- 1997-12-24 10:02 +0100 914 LFilter.thy
-rw-r--r-- 1997-12-24 10:02 +0100 29413 LList.ML
-rw-r--r-- 1997-12-24 10:02 +0100 4931 LList.thy
-rw-r--r-- 1997-12-24 10:02 +0100 5350 Mutil.ML
-rw-r--r-- 1997-12-24 10:02 +0100 890 Mutil.thy
-rw-r--r-- 1997-12-24 10:02 +0100 2661 Perm.ML
-rw-r--r-- 1997-12-24 10:02 +0100 591 Perm.thy
-rw-r--r-- 1997-12-24 10:02 +0100 7238 PropLog.ML
-rw-r--r-- 1997-12-24 10:02 +0100 1165 PropLog.thy
-rw-r--r-- 1997-12-24 10:02 +0100 1356 README.html
-rw-r--r-- 1997-12-24 10:02 +0100 545 ROOT.ML
-rw-r--r-- 1997-12-24 10:02 +0100 11550 SList.ML
-rw-r--r-- 1997-12-24 10:02 +0100 4022 SList.thy
-rw-r--r-- 1997-12-24 10:02 +0100 10429 Simult.ML
-rw-r--r-- 1997-12-24 10:02 +0100 3027 Simult.thy
-rw-r--r-- 1997-12-24 10:02 +0100 6015 Term.ML
-rw-r--r-- 1997-12-24 10:02 +0100 1705 Term.thy