Fri, 15 Aug 2008 18:25:41 +0200 | wenzelm | added some abbrevs; | file | diff | annotate |
Fri, 15 Aug 2008 18:03:30 +0200 | wenzelm | removed redundant "symbol" property; | file | diff | annotate |
Fri, 15 Aug 2008 17:19:32 +0200 | wenzelm | Default interpretation of some Isabelle symbols. | file | diff | annotate |