Sun, 13 Apr 1997 19:12:37 +0200 | wenzelm | tuned format; | changeset | files |
Sun, 13 Apr 1997 19:11:32 +0200 | wenzelm | GENERATED TEXT; | changeset | files |
Sun, 13 Apr 1997 19:10:54 +0200 | wenzelm | GENERATED TEXT; | changeset | files |
Sun, 13 Apr 1997 19:10:27 +0200 | wenzelm | fixencoding - fix references to isabelle font encoding; | changeset | files |