| Sat, 30 Oct 1999 20:12:23 +0200 | wenzelm | isabellesym.sty; | changeset | files |
| Sat, 30 Oct 1999 20:11:35 +0200 | wenzelm | definitions of many Isabelle symbols; | changeset | files |
| Fri, 29 Oct 1999 20:18:34 +0200 | wenzelm | final update by Gertrud Bauer; | changeset | files |