/src/HOL/
drwxr-xr-x [up]
drwxr-xr-x IMP
drwxr-xr-x IOA
drwxr-xr-x Integ
drwxr-xr-x Subst
drwxr-xr-x ex
-rw-r--r-- 1995-03-24 12:30 +0100 12097 Arith.ML
-rw-r--r-- 1995-03-24 12:30 +0100 936 Arith.thy
-rw-r--r-- 1995-03-24 12:30 +0100 2714 Finite.ML
-rw-r--r-- 1995-03-24 12:30 +0100 370 Finite.thy
-rw-r--r-- 1995-03-24 12:30 +0100 5946 Fun.ML
-rw-r--r-- 1995-03-24 12:30 +0100 199 Fun.thy
-rw-r--r-- 1995-03-24 12:30 +0100 4795 Gfp.ML
-rw-r--r-- 1995-03-24 12:30 +0100 345 Gfp.thy
-rw-r--r-- 1995-03-24 12:30 +0100 7944 HOL.ML
-rw-r--r-- 1995-03-24 12:30 +0100 4386 HOL.thy
-rw-r--r-- 1995-03-24 12:30 +0100 2365 Inductive.ML
-rw-r--r-- 1995-03-24 12:30 +0100 23 Inductive.thy
-rw-r--r-- 1995-03-24 12:30 +0100 2396 Lfp.ML
-rw-r--r-- 1995-03-24 12:30 +0100 329 Lfp.thy
-rw-r--r-- 1995-03-24 12:30 +0100 4041 List.ML
-rw-r--r-- 1995-03-24 12:30 +0100 2453 List.thy
-rw-r--r-- 1995-03-24 12:30 +0100 4058 Makefile
-rw-r--r-- 1995-03-24 12:30 +0100 12774 Nat.ML
-rw-r--r-- 1995-03-24 12:30 +0100 1522 Nat.thy
-rw-r--r-- 1995-03-24 12:30 +0100 529 Ord.ML
-rw-r--r-- 1995-03-24 12:30 +0100 643 Ord.thy
-rw-r--r-- 1995-03-24 12:30 +0100 7350 Prod.ML
-rw-r--r-- 1995-03-24 12:30 +0100 1537 Prod.thy
-rw-r--r-- 1995-03-24 12:30 +0100 797 README
-rw-r--r-- 1995-03-24 12:30 +0100 1993 ROOT.ML
-rw-r--r-- 1995-03-24 12:30 +0100 13907 Set.ML
-rw-r--r-- 1995-03-24 12:30 +0100 5041 Set.thy
-rw-r--r-- 1995-03-24 12:30 +0100 4338 Sexp.ML
-rw-r--r-- 1995-03-24 12:30 +0100 1095 Sexp.thy
-rw-r--r-- 1995-03-24 12:30 +0100 5863 Sum.ML
-rw-r--r-- 1995-03-24 12:30 +0100 1467 Sum.thy
-rw-r--r-- 1995-03-24 12:30 +0100 7298 Trancl.ML
-rw-r--r-- 1995-03-24 12:30 +0100 922 Trancl.thy
-rw-r--r-- 1995-03-24 12:30 +0100 17896 Univ.ML
-rw-r--r-- 1995-03-24 12:30 +0100 3296 Univ.thy
-rw-r--r-- 1995-03-24 12:30 +0100 6551 WF.ML
-rw-r--r-- 1995-03-24 12:30 +0100 924 WF.thy
-rw-r--r-- 1995-03-24 12:30 +0100 8628 add_ind_def.ML
-rw-r--r-- 1995-03-24 12:30 +0100 17123 datatype.ML
-rw-r--r-- 1995-03-24 12:30 +0100 7916 equalities.ML
-rw-r--r-- 1995-03-24 12:30 +0100 251 equalities.thy
-rw-r--r-- 1995-03-24 12:30 +0100 2060 hologic.ML
-rw-r--r-- 1995-03-24 12:30 +0100 4214 ind_syntax.ML
-rw-r--r-- 1995-03-24 12:30 +0100 6399 indrule.ML
-rw-r--r-- 1995-03-24 12:30 +0100 4748 intr_elim.ML
-rw-r--r-- 1995-03-24 12:30 +0100 3487 mono.ML
-rw-r--r-- 1995-03-24 12:30 +0100 181 mono.thy
-rw-r--r-- 1995-03-24 12:30 +0100 5724 simpdata.ML
-rw-r--r-- 1995-03-24 12:30 +0100 3783 subset.ML
-rw-r--r-- 1995-03-24 12:30 +0100 185 subset.thy
-rw-r--r-- 1995-03-24 12:30 +0100 4176 subtype.ML
-rw-r--r-- 1995-03-24 12:30 +0100 6116 thy_syntax.ML
-rw-r--r-- 1995-03-24 12:30 +0100 4176 typedef.ML