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