doc-src/System/symbols.tex
2001-01-24 wenzelm 2001-01-24 more symbols;
2000-12-04 wenzelm 2000-12-04 include table of Isabelle standard symbols;