/src/HOL/Induct/
drwxr-xr-x [up]
-rw-r--r-- 1999-03-11 13:20 +0100 746 ABexp.ML
-rw-r--r-- 1999-03-11 13:20 +0100 1633 ABexp.thy
-rw-r--r-- 1999-03-11 13:20 +0100 1691 Acc.ML
-rw-r--r-- 1999-03-11 13:20 +0100 728 Acc.thy
-rw-r--r-- 1999-03-11 13:20 +0100 1533 Com.ML
-rw-r--r-- 1999-03-11 13:20 +0100 2473 Com.thy
-rw-r--r-- 1999-03-11 13:20 +0100 5111 Comb.ML
-rw-r--r-- 1999-03-11 13:20 +0100 1920 Comb.thy
-rw-r--r-- 1999-03-11 13:20 +0100 7466 Exp.ML
-rw-r--r-- 1999-03-11 13:20 +0100 896 Exp.thy
-rw-r--r-- 1999-03-11 13:20 +0100 10448 LFilter.ML
-rw-r--r-- 1999-03-11 13:20 +0100 913 LFilter.thy
-rw-r--r-- 1999-03-11 13:20 +0100 27067 LList.ML
-rw-r--r-- 1999-03-11 13:20 +0100 4470 LList.thy
-rw-r--r-- 1999-03-11 13:20 +0100 13167 Multiset.ML
-rw-r--r-- 1999-03-11 13:20 +0100 1486 Multiset.thy
-rw-r--r-- 1999-03-11 13:20 +0100 280 Multiset0.ML
-rw-r--r-- 1999-03-11 13:20 +0100 215 Multiset0.thy
-rw-r--r-- 1999-03-11 13:20 +0100 5128 Mutil.ML
-rw-r--r-- 1999-03-11 13:20 +0100 885 Mutil.thy
-rw-r--r-- 1999-03-11 13:20 +0100 2453 Perm.ML
-rw-r--r-- 1999-03-11 13:20 +0100 591 Perm.thy
-rw-r--r-- 1999-03-11 13:20 +0100 6760 PropLog.ML
-rw-r--r-- 1999-03-11 13:20 +0100 1160 PropLog.thy
-rw-r--r-- 1999-03-11 13:20 +0100 1578 README.html
-rw-r--r-- 1999-03-11 13:20 +0100 527 ROOT.ML
-rw-r--r-- 1999-03-11 13:20 +0100 11162 SList.ML
-rw-r--r-- 1999-03-11 13:20 +0100 3624 SList.thy
-rw-r--r-- 1999-03-11 13:20 +0100 896 Term.ML
-rw-r--r-- 1999-03-11 13:20 +0100 716 Term.thy