drwxr-xr-x | [up] | |||
-rw-r--r-- | 1996-08-21 13:22 +0200 | 708 | Makefile | file | revisions | annotate |
-rw-r--r-- | 1996-08-21 13:22 +0200 | 824 | Set2.dvi | file | revisions | annotate |
-rw-r--r-- | 1996-08-21 13:22 +0200 | 855 | Set2.tex | file | revisions | annotate |
-rw-r--r-- | 1996-08-21 13:22 +0200 | 216 | Set2.thy | file | revisions | annotate |
-rw-r--r-- | 1996-08-21 13:22 +0200 | 226 | Set2_a.thy | file | revisions | annotate |
-rw-r--r-- | 1996-08-21 13:22 +0200 | 208 | Set2_g.thy | file | revisions | annotate |
-rw-r--r-- | 1996-08-21 13:22 +0200 | 868 | Set2a.tex | file | revisions | annotate |
-rw-r--r-- | 1996-08-21 13:22 +0200 | 208 | Set2g.thy | file | revisions | annotate |
-rw-r--r-- | 1996-08-21 13:22 +0200 | 209 | Set2x.thy | file | revisions | annotate |
-rw-r--r-- | 1996-08-21 13:22 +0200 | 3308 | fkmatrix.dvi | file | revisions | annotate |
-rw-r--r-- | 1996-08-21 13:22 +0200 | 1477 | fkmatrix.tex | file | revisions | annotate |
-rw-r--r-- | 1996-08-21 13:22 +0200 | 19908 | fontindex.dvi | file | revisions | annotate |
-rw-r--r-- | 1996-08-21 13:22 +0200 | 6909 | fontindex.tex | file | revisions | annotate |
-rw-r--r-- | 1996-08-21 13:22 +0200 | 13108 | keyindex.dvi | file | revisions | annotate |
-rw-r--r-- | 1996-08-21 13:22 +0200 | 4785 | keyindex.tex | file | revisions | annotate |
-rw-r--r-- | 1996-08-21 13:22 +0200 | 20572 | manual.dvi | file | revisions | annotate |
-rw-r--r-- | 1996-08-21 13:22 +0200 | 15118 | manual.itex | file | revisions | annotate |
-rw-r--r-- | 1996-08-21 13:22 +0200 | 243 | palette.isa | file | revisions | annotate |