| drwxr-xr-x | [up] | |||
| -rw-r--r-- | 1995-03-31 11:55 +0200 | 4314 | AC_Equiv.ML | file | revisions | annotate |
| -rw-r--r-- | 1995-03-31 11:55 +0200 | 6792 | AC_Equiv.thy | file | revisions | annotate |
| -rw-r--r-- | 1995-03-31 11:55 +0200 | 3996 | OrdQuant.ML | file | revisions | annotate |
| -rw-r--r-- | 1995-03-31 11:55 +0200 | 859 | OrdQuant.thy | file | revisions | annotate |
| -rw-r--r-- | 1995-03-31 11:55 +0200 | 432 | ROOT.ML | file | revisions | annotate |
| -rw-r--r-- | 1995-03-31 11:55 +0200 | 1141 | Transrec2.ML | file | revisions | annotate |
| -rw-r--r-- | 1995-03-31 11:55 +0200 | 547 | Transrec2.thy | file | revisions | annotate |
| -rw-r--r-- | 1995-03-31 11:55 +0200 | 21637 | WO6_WO1.ML | file | revisions | annotate |
| -rw-r--r-- | 1995-03-31 11:55 +0200 | 78 | WO6_WO1.thy | file | revisions | annotate |
| -rw-r--r-- | 1995-03-31 11:55 +0200 | 2822 | rel_is_fun.ML | file | revisions | annotate |
| -rw-r--r-- | 1995-03-31 11:55 +0200 | 68 | rel_is_fun.thy | file | revisions | annotate |