doc-src/System/symbols.tex
2004-06-09 wenzelm 2004-06-09 updated notes on sub-/superscripts;
2002-01-02 wenzelm 2002-01-02 tuned;
2001-12-11 wenzelm 2001-12-11 tuned;
2001-12-11 wenzelm 2001-12-11 updated;
2001-09-26 wenzelm 2001-09-26 bold symbols;
2001-01-24 wenzelm 2001-01-24 more symbols;
2000-12-04 wenzelm 2000-12-04 include table of Isabelle standard symbols;