| drwxr-xr-x | [up] | |||
| -rw-r--r-- | 1995-04-25 11:14 +0200 | 4266 | AC_Equiv.ML | file | revisions | annotate |
| -rw-r--r-- | 1995-04-25 11:14 +0200 | 5438 | AC_Equiv.thy | file | revisions | annotate |
| -rw-r--r-- | 1995-04-25 11:14 +0200 | 3266 | OrdQuant.ML | file | revisions | annotate |
| -rw-r--r-- | 1995-04-25 11:14 +0200 | 848 | OrdQuant.thy | file | revisions | annotate |
| -rw-r--r-- | 1995-04-25 11:14 +0200 | 817 | ROOT.ML | file | revisions | annotate |
| -rw-r--r-- | 1995-04-25 11:14 +0200 | 1141 | Transrec2.ML | file | revisions | annotate |
| -rw-r--r-- | 1995-04-25 11:14 +0200 | 547 | Transrec2.thy | file | revisions | annotate |
| -rw-r--r-- | 1995-04-25 11:14 +0200 | 19235 | WO6_WO1.ML | file | revisions | annotate |
| -rw-r--r-- | 1995-04-25 11:14 +0200 | 1385 | WO6_WO1.thy | file | revisions | annotate |
| -rw-r--r-- | 1995-04-25 11:14 +0200 | 1959 | rel_is_fun.ML | file | revisions | annotate |
| -rw-r--r-- | 1995-04-25 11:14 +0200 | 68 | rel_is_fun.thy | file | revisions | annotate |