doc-src/IsarRef/showsymbols
2009-07-20 wenzelm 2009-07-20 removed obsolete CVS Ids;
2008-11-18 wenzelm 2008-11-18 moved table of standard Isabelle symbols to isar-ref manual;