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