| drwxr-xr-x | [up] | |||
| -rw-r--r-- | 1995-11-21 12:43 +0100 | 1184 | If.ML | file | revisions | annotate |
| -rw-r--r-- | 1995-11-21 12:43 +0100 | 94 | If.thy | file | revisions | annotate |
| -rw-r--r-- | 1995-11-21 12:43 +0100 | 1992 | Nat.ML | file | revisions | annotate |
| -rw-r--r-- | 1995-11-21 12:43 +0100 | 1146 | Nat.thy | file | revisions | annotate |
| -rw-r--r-- | 1995-11-21 12:43 +0100 | 1930 | Prolog.ML | file | revisions | annotate |
| -rw-r--r-- | 1995-11-21 12:43 +0100 | 739 | Prolog.thy | file | revisions | annotate |
| -rw-r--r-- | 1995-11-21 12:43 +0100 | 829 | ROOT.ML | file | revisions | annotate |
| -rw-r--r-- | 1995-11-21 12:43 +0100 | 9396 | cla.ML | file | revisions | annotate |
| -rw-r--r-- | 1995-11-21 12:43 +0100 | 3338 | foundn.ML | file | revisions | annotate |
| -rw-r--r-- | 1995-11-21 12:43 +0100 | 1184 | if.ML | file | revisions | annotate |
| -rw-r--r-- | 1995-11-21 12:43 +0100 | 94 | if.thy | file | revisions | annotate |
| -rw-r--r-- | 1995-11-21 12:43 +0100 | 9521 | int.ML | file | revisions | annotate |
| -rw-r--r-- | 1995-11-21 12:43 +0100 | 2419 | intro.ML | file | revisions | annotate |
| -rw-r--r-- | 1995-11-21 12:43 +0100 | 1992 | nat.ML | file | revisions | annotate |
| -rw-r--r-- | 1995-11-21 12:43 +0100 | 1150 | nat.thy | file | revisions | annotate |
| -rw-r--r-- | 1995-11-21 12:43 +0100 | 1930 | prolog.ML | file | revisions | annotate |
| -rw-r--r-- | 1995-11-21 12:43 +0100 | 738 | prolog.thy | file | revisions | annotate |
| -rw-r--r-- | 1995-11-21 12:43 +0100 | 3104 | prop.ML | file | revisions | annotate |
| -rw-r--r-- | 1995-11-21 12:43 +0100 | 2867 | quant.ML | file | revisions | annotate |