etc/symbols
Fri, 15 Aug 2008 17:19:32 +0200 wenzelm Default interpretation of some Isabelle symbols.
less more (0) tip