| Sat, 20 Dec 2008 11:55:34 +0100 | wenzelm | removed Ids; | file | diff | annotate |
| Sun, 24 Aug 2008 14:24:03 +0200 | wenzelm | activated \<A>, \<a>, \<AA>, \<aa>; | file | diff | annotate |
| Sat, 16 Aug 2008 13:31:56 +0200 | wenzelm | tuned abbrevs; | file | diff | annotate |
| 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 |