/src/HOL/Induct/
drwxr-xr-x [up]
-rw-r--r-- 1998-08-12 16:23 +0200 1984 Acc.ML
-rw-r--r-- 1998-08-12 16:23 +0200 732 Acc.thy
-rw-r--r-- 1998-08-12 16:23 +0200 1719 Com.ML
-rw-r--r-- 1998-08-12 16:23 +0200 2473 Com.thy
-rw-r--r-- 1998-08-12 16:23 +0200 5225 Comb.ML
-rw-r--r-- 1998-08-12 16:23 +0200 1920 Comb.thy
-rw-r--r-- 1998-08-12 16:23 +0200 7476 Exp.ML
-rw-r--r-- 1998-08-12 16:23 +0200 900 Exp.thy
-rw-r--r-- 1998-08-12 16:23 +0200 10470 LFilter.ML
-rw-r--r-- 1998-08-12 16:23 +0200 914 LFilter.thy
-rw-r--r-- 1998-08-12 16:23 +0200 27759 LList.ML
-rw-r--r-- 1998-08-12 16:23 +0200 4931 LList.thy
-rw-r--r-- 1998-08-12 16:23 +0200 5160 Mutil.ML
-rw-r--r-- 1998-08-12 16:23 +0200 890 Mutil.thy
-rw-r--r-- 1998-08-12 16:23 +0200 2453 Perm.ML
-rw-r--r-- 1998-08-12 16:23 +0200 591 Perm.thy
-rw-r--r-- 1998-08-12 16:23 +0200 6760 PropLog.ML
-rw-r--r-- 1998-08-12 16:23 +0200 1160 PropLog.thy
-rw-r--r-- 1998-08-12 16:23 +0200 1356 README.html
-rw-r--r-- 1998-08-12 16:23 +0200 561 ROOT.ML
-rw-r--r-- 1998-08-12 16:23 +0200 11095 SList.ML
-rw-r--r-- 1998-08-12 16:23 +0200 4027 SList.thy
-rw-r--r-- 1998-08-12 16:23 +0200 10072 Simult.ML
-rw-r--r-- 1998-08-12 16:23 +0200 3032 Simult.thy
-rw-r--r-- 1998-08-12 16:23 +0200 5989 Term.ML
-rw-r--r-- 1998-08-12 16:23 +0200 1713 Term.thy