/src/HOL/Induct/
drwxr-xr-x [up]
-rw-r--r-- 1999-09-23 13:06 +0200 746 ABexp.ML
-rw-r--r-- 1999-09-23 13:06 +0200 1633 ABexp.thy
-rw-r--r-- 1999-09-23 13:06 +0200 1702 Acc.ML
-rw-r--r-- 1999-09-23 13:06 +0200 728 Acc.thy
-rw-r--r-- 1999-09-23 13:06 +0200 1533 Com.ML
-rw-r--r-- 1999-09-23 13:06 +0200 2473 Com.thy
-rw-r--r-- 1999-09-23 13:06 +0200 5111 Comb.ML
-rw-r--r-- 1999-09-23 13:06 +0200 1920 Comb.thy
-rw-r--r-- 1999-09-23 13:06 +0200 7466 Exp.ML
-rw-r--r-- 1999-09-23 13:06 +0200 896 Exp.thy
-rw-r--r-- 1999-09-23 13:06 +0200 10430 LFilter.ML
-rw-r--r-- 1999-09-23 13:06 +0200 913 LFilter.thy
-rw-r--r-- 1999-09-23 13:06 +0200 27072 LList.ML
-rw-r--r-- 1999-09-23 13:06 +0200 4485 LList.thy
-rw-r--r-- 1999-09-23 13:06 +0200 13197 Multiset.ML
-rw-r--r-- 1999-09-23 13:06 +0200 1486 Multiset.thy
-rw-r--r-- 1999-09-23 13:06 +0200 280 Multiset0.ML
-rw-r--r-- 1999-09-23 13:06 +0200 215 Multiset0.thy
-rw-r--r-- 1999-09-23 13:06 +0200 4889 Mutil.ML
-rw-r--r-- 1999-09-23 13:06 +0200 885 Mutil.thy
-rw-r--r-- 1999-09-23 13:06 +0200 2453 Perm.ML
-rw-r--r-- 1999-09-23 13:06 +0200 591 Perm.thy
-rw-r--r-- 1999-09-23 13:06 +0200 6760 PropLog.ML
-rw-r--r-- 1999-09-23 13:06 +0200 1160 PropLog.thy
-rw-r--r-- 1999-09-23 13:06 +0200 1578 README.html
-rw-r--r-- 1999-09-23 13:06 +0200 548 ROOT.ML
-rw-r--r-- 1999-09-23 13:06 +0200 11166 SList.ML
-rw-r--r-- 1999-09-23 13:06 +0200 3639 SList.thy
-rw-r--r-- 1999-09-23 13:06 +0200 896 Term.ML
-rw-r--r-- 1999-09-23 13:06 +0200 716 Term.thy
-rw-r--r-- 1999-09-23 13:06 +0200 526 Tree.ML
-rw-r--r-- 1999-09-23 13:06 +0200 567 Tree.thy