/src/HOL/Induct/
drwxr-xr-x [up]
-rw-r--r-- 1998-06-30 20:51 +0200 1837 Acc.ML
-rw-r--r-- 1998-06-30 20:51 +0200 645 Acc.thy
-rw-r--r-- 1998-06-30 20:51 +0200 1747 Com.ML
-rw-r--r-- 1998-06-30 20:51 +0200 2482 Com.thy
-rw-r--r-- 1998-06-30 20:51 +0200 5292 Comb.ML
-rw-r--r-- 1998-06-30 20:51 +0200 1929 Comb.thy
-rw-r--r-- 1998-06-30 20:51 +0200 7560 Exp.ML
-rw-r--r-- 1998-06-30 20:51 +0200 900 Exp.thy
-rw-r--r-- 1998-06-30 20:51 +0200 10596 LFilter.ML
-rw-r--r-- 1998-06-30 20:51 +0200 914 LFilter.thy
-rw-r--r-- 1998-06-30 20:51 +0200 27970 LList.ML
-rw-r--r-- 1998-06-30 20:51 +0200 4931 LList.thy
-rw-r--r-- 1998-06-30 20:51 +0200 5195 Mutil.ML
-rw-r--r-- 1998-06-30 20:51 +0200 890 Mutil.thy
-rw-r--r-- 1998-06-30 20:51 +0200 2526 Perm.ML
-rw-r--r-- 1998-06-30 20:51 +0200 591 Perm.thy
-rw-r--r-- 1998-06-30 20:51 +0200 6863 PropLog.ML
-rw-r--r-- 1998-06-30 20:51 +0200 1165 PropLog.thy
-rw-r--r-- 1998-06-30 20:51 +0200 1356 README.html
-rw-r--r-- 1998-06-30 20:51 +0200 561 ROOT.ML
-rw-r--r-- 1998-06-30 20:51 +0200 11087 SList.ML
-rw-r--r-- 1998-06-30 20:51 +0200 4022 SList.thy
-rw-r--r-- 1998-06-30 20:51 +0200 10123 Simult.ML
-rw-r--r-- 1998-06-30 20:51 +0200 3027 Simult.thy
-rw-r--r-- 1998-06-30 20:51 +0200 5979 Term.ML
-rw-r--r-- 1998-06-30 20:51 +0200 1705 Term.thy