drwxr-xr-x | [up] | |||
-rw-r--r-- | 1997-05-22 10:49 +0200 | 1144 | If.ML | file | revisions | annotate |
-rw-r--r-- | 1997-05-22 10:49 +0200 | 94 | If.thy | file | revisions | annotate |
-rw-r--r-- | 1997-05-22 10:49 +0200 | 2006 | Nat.ML | file | revisions | annotate |
-rw-r--r-- | 1997-05-22 10:49 +0200 | 1153 | Nat.thy | file | revisions | annotate |
-rw-r--r-- | 1997-05-22 10:49 +0200 | 1938 | Prolog.ML | file | revisions | annotate |
-rw-r--r-- | 1997-05-22 10:49 +0200 | 747 | Prolog.thy | file | revisions | annotate |
-rw-r--r-- | 1997-05-22 10:49 +0200 | 844 | ROOT.ML | file | revisions | annotate |
-rw-r--r-- | 1997-05-22 10:49 +0200 | 9463 | cla.ML | file | revisions | annotate |
-rw-r--r-- | 1997-05-22 10:49 +0200 | 2997 | foundn.ML | file | revisions | annotate |
-rw-r--r-- | 1997-05-22 10:49 +0200 | 1184 | if.ML | file | revisions | annotate |
-rw-r--r-- | 1997-05-22 10:49 +0200 | 94 | if.thy | file | revisions | annotate |
-rw-r--r-- | 1997-05-22 10:49 +0200 | 9843 | int.ML | file | revisions | annotate |
-rw-r--r-- | 1997-05-22 10:49 +0200 | 2260 | intro.ML | file | revisions | annotate |
-rw-r--r-- | 1997-05-22 10:49 +0200 | 1992 | nat.ML | file | revisions | annotate |
-rw-r--r-- | 1997-05-22 10:49 +0200 | 1150 | nat.thy | file | revisions | annotate |
-rw-r--r-- | 1997-05-22 10:49 +0200 | 1930 | prolog.ML | file | revisions | annotate |
-rw-r--r-- | 1997-05-22 10:49 +0200 | 738 | prolog.thy | file | revisions | annotate |
-rw-r--r-- | 1997-05-22 10:49 +0200 | 3154 | prop.ML | file | revisions | annotate |
-rw-r--r-- | 1997-05-22 10:49 +0200 | 2881 | quant.ML | file | revisions | annotate |