/src/HOL/
drwxr-xr-x [up]
drwxr-xr-x IMP
drwxr-xr-x IOA
drwxr-xr-x Integ
drwxr-xr-x Lambda
drwxr-xr-x Subst
drwxr-xr-x ex
-rw-r--r-- 1995-06-21 15:47 +0200 12097 Arith.ML
-rw-r--r-- 1995-06-21 15:47 +0200 936 Arith.thy
-rw-r--r-- 1995-06-21 15:47 +0200 2714 Finite.ML
-rw-r--r-- 1995-06-21 15:47 +0200 370 Finite.thy
-rw-r--r-- 1995-06-21 15:47 +0200 5946 Fun.ML
-rw-r--r-- 1995-06-21 15:47 +0200 199 Fun.thy
-rw-r--r-- 1995-06-21 15:47 +0200 4795 Gfp.ML
-rw-r--r-- 1995-06-21 15:47 +0200 345 Gfp.thy
-rw-r--r-- 1995-06-21 15:47 +0200 7944 HOL.ML
-rw-r--r-- 1995-06-21 15:47 +0200 4383 HOL.thy
-rw-r--r-- 1995-06-21 15:47 +0200 2365 Inductive.ML
-rw-r--r-- 1995-06-21 15:47 +0200 23 Inductive.thy
-rw-r--r-- 1995-06-21 15:47 +0200 3003 Lfp.ML
-rw-r--r-- 1995-06-21 15:47 +0200 335 Lfp.thy
-rw-r--r-- 1995-06-21 15:47 +0200 4087 List.ML
-rw-r--r-- 1995-06-21 15:47 +0200 2454 List.thy
-rw-r--r-- 1995-06-21 15:47 +0200 4317 Makefile
-rw-r--r-- 1995-06-21 15:47 +0200 12759 Nat.ML
-rw-r--r-- 1995-06-21 15:47 +0200 1518 Nat.thy
-rw-r--r-- 1995-06-21 15:47 +0200 529 Ord.ML
-rw-r--r-- 1995-06-21 15:47 +0200 643 Ord.thy
-rw-r--r-- 1995-06-21 15:47 +0200 7350 Prod.ML
-rw-r--r-- 1995-06-21 15:47 +0200 2697 Prod.thy
-rw-r--r-- 1995-06-21 15:47 +0200 797 README
-rw-r--r-- 1995-06-21 15:47 +0200 2065 ROOT.ML
-rw-r--r-- 1995-06-21 15:47 +0200 5058 Relation.ML
-rw-r--r-- 1995-06-21 15:47 +0200 1196 Relation.thy
-rw-r--r-- 1995-06-21 15:47 +0200 13907 Set.ML
-rw-r--r-- 1995-06-21 15:47 +0200 5053 Set.thy
-rw-r--r-- 1995-06-21 15:47 +0200 4338 Sexp.ML
-rw-r--r-- 1995-06-21 15:47 +0200 1085 Sexp.thy
-rw-r--r-- 1995-06-21 15:47 +0200 5863 Sum.ML
-rw-r--r-- 1995-06-21 15:47 +0200 1465 Sum.thy
-rw-r--r-- 1995-06-21 15:47 +0200 6278 Trancl.ML
-rw-r--r-- 1995-06-21 15:47 +0200 546 Trancl.thy
-rw-r--r-- 1995-06-21 15:47 +0200 17936 Univ.ML
-rw-r--r-- 1995-06-21 15:47 +0200 3210 Univ.thy
-rw-r--r-- 1995-06-21 15:47 +0200 6551 WF.ML
-rw-r--r-- 1995-06-21 15:47 +0200 924 WF.thy
-rw-r--r-- 1995-06-21 15:47 +0200 8628 add_ind_def.ML
-rw-r--r-- 1995-06-21 15:47 +0200 17128 datatype.ML
-rw-r--r-- 1995-06-21 15:47 +0200 7916 equalities.ML
-rw-r--r-- 1995-06-21 15:47 +0200 251 equalities.thy
-rw-r--r-- 1995-06-21 15:47 +0200 2060 hologic.ML
-rw-r--r-- 1995-06-21 15:47 +0200 4214 ind_syntax.ML
-rw-r--r-- 1995-06-21 15:47 +0200 6399 indrule.ML
-rw-r--r-- 1995-06-21 15:47 +0200 4748 intr_elim.ML
-rw-r--r-- 1995-06-21 15:47 +0200 3487 mono.ML
-rw-r--r-- 1995-06-21 15:47 +0200 181 mono.thy
-rw-r--r-- 1995-06-21 15:47 +0200 5883 simpdata.ML
-rw-r--r-- 1995-06-21 15:47 +0200 3783 subset.ML
-rw-r--r-- 1995-06-21 15:47 +0200 185 subset.thy
-rw-r--r-- 1995-06-21 15:47 +0200 4176 subtype.ML
-rw-r--r-- 1995-06-21 15:47 +0200 6238 thy_syntax.ML
-rw-r--r-- 1995-06-21 15:47 +0200 4176 typedef.ML