| Thu, 06 Apr 2000 19:11:30 +0200 | wenzelm | tuned \isasymlbrace; | file | diff | annotate |
| Thu, 06 Apr 2000 17:05:38 +0200 | wenzelm | added \isasymlbrace, \isasymrbrace, \isasymtop; | file | diff | annotate |
| Fri, 04 Feb 2000 21:36:13 +0100 | wenzelm | tuned syms; | file | diff | annotate |
| Thu, 27 Jan 2000 15:30:10 +0100 | oheimb | *** empty log message *** | file | diff | annotate |
| Sat, 30 Oct 1999 20:11:35 +0200 | wenzelm | definitions of many Isabelle symbols; | file | diff | annotate |