/src/HOL/Induct/
drwxr-xr-x [up]
-rw-r--r-- 1998-12-07 18:26 +0100 746 ABexp.ML
-rw-r--r-- 1998-12-07 18:26 +0100 1633 ABexp.thy
-rw-r--r-- 1998-12-07 18:26 +0100 1690 Acc.ML
-rw-r--r-- 1998-12-07 18:26 +0100 728 Acc.thy
-rw-r--r-- 1998-12-07 18:26 +0100 1719 Com.ML
-rw-r--r-- 1998-12-07 18:26 +0100 2473 Com.thy
-rw-r--r-- 1998-12-07 18:26 +0100 5173 Comb.ML
-rw-r--r-- 1998-12-07 18:26 +0100 1920 Comb.thy
-rw-r--r-- 1998-12-07 18:26 +0100 7476 Exp.ML
-rw-r--r-- 1998-12-07 18:26 +0100 896 Exp.thy
-rw-r--r-- 1998-12-07 18:26 +0100 10470 LFilter.ML
-rw-r--r-- 1998-12-07 18:26 +0100 913 LFilter.thy
-rw-r--r-- 1998-12-07 18:26 +0100 27067 LList.ML
-rw-r--r-- 1998-12-07 18:26 +0100 4470 LList.thy
-rw-r--r-- 1998-12-07 18:26 +0100 12713 Multiset.ML
-rw-r--r-- 1998-12-07 18:26 +0100 1486 Multiset.thy
-rw-r--r-- 1998-12-07 18:26 +0100 279 Multiset0.ML
-rw-r--r-- 1998-12-07 18:26 +0100 215 Multiset0.thy
-rw-r--r-- 1998-12-07 18:26 +0100 5128 Mutil.ML
-rw-r--r-- 1998-12-07 18:26 +0100 885 Mutil.thy
-rw-r--r-- 1998-12-07 18:26 +0100 2453 Perm.ML
-rw-r--r-- 1998-12-07 18:26 +0100 591 Perm.thy
-rw-r--r-- 1998-12-07 18:26 +0100 6760 PropLog.ML
-rw-r--r-- 1998-12-07 18:26 +0100 1160 PropLog.thy
-rw-r--r-- 1998-12-07 18:26 +0100 1578 README.html
-rw-r--r-- 1998-12-07 18:26 +0100 585 ROOT.ML
-rw-r--r-- 1998-12-07 18:26 +0100 11162 SList.ML
-rw-r--r-- 1998-12-07 18:26 +0100 3624 SList.thy
-rw-r--r-- 1998-12-07 18:26 +0100 896 Term.ML
-rw-r--r-- 1998-12-07 18:26 +0100 716 Term.thy