drwxr-xr-x | [up] | |||
-rw-r--r-- | 1996-06-25 17:44 +0200 | 549 | .Set2g.html | file | revisions | annotate |
-rw-r--r-- | 1996-06-25 17:44 +0200 | 685 | .Set2g.thy.ML | file | revisions | annotate |
-rw-r--r-- | 1996-06-25 17:44 +0200 | 645 | .Set2g_sub.html | file | revisions | annotate |
-rw-r--r-- | 1996-06-25 17:44 +0200 | 1715 | .Set2g_sup.html | file | revisions | annotate |
-rw-r--r-- | 1996-06-25 17:44 +0200 | 706 | Makefile | file | revisions | annotate |
-rw-r--r-- | 1996-06-25 17:44 +0200 | 824 | Set2.dvi | file | revisions | annotate |
-rw-r--r-- | 1996-06-25 17:44 +0200 | 855 | Set2.tex | file | revisions | annotate |
-rw-r--r-- | 1996-06-25 17:44 +0200 | 216 | Set2.thy | file | revisions | annotate |
-rw-r--r-- | 1996-06-25 17:44 +0200 | 226 | Set2_a.thy | file | revisions | annotate |
-rw-r--r-- | 1996-06-25 17:44 +0200 | 208 | Set2_g.thy | file | revisions | annotate |
-rw-r--r-- | 1996-06-25 17:44 +0200 | 868 | Set2a.tex | file | revisions | annotate |
-rw-r--r-- | 1996-06-25 17:44 +0200 | 208 | Set2g.thy | file | revisions | annotate |
-rw-r--r-- | 1996-06-25 17:44 +0200 | 209 | Set2x.thy | file | revisions | annotate |
-rw-r--r-- | 1996-06-25 17:44 +0200 | 3308 | fkmatrix.dvi | file | revisions | annotate |
-rw-r--r-- | 1996-06-25 17:44 +0200 | 1477 | fkmatrix.tex | file | revisions | annotate |
-rw-r--r-- | 1996-06-25 17:44 +0200 | 19908 | fontindex.dvi | file | revisions | annotate |
-rw-r--r-- | 1996-06-25 17:44 +0200 | 6909 | fontindex.tex | file | revisions | annotate |
-rw-r--r-- | 1996-06-25 17:44 +0200 | 13108 | keyindex.dvi | file | revisions | annotate |
-rw-r--r-- | 1996-06-25 17:44 +0200 | 4785 | keyindex.tex | file | revisions | annotate |
-rw-r--r-- | 1996-06-25 17:44 +0200 | 20468 | manual.dvi | file | revisions | annotate |
-rw-r--r-- | 1996-06-25 17:44 +0200 | 15025 | manual.itex | file | revisions | annotate |
-rw-r--r-- | 1996-06-25 17:44 +0200 | 243 | palette.isa | file | revisions | annotate |