| 2008-12-20 | wenzelm | removed Ids; | file | diff | annotate |
| 2008-08-24 | wenzelm | activated \<A>, \<a>, \<AA>, \<aa>; | file | diff | annotate |
| 2008-08-16 | wenzelm | tuned abbrevs; | file | diff | annotate |
| 2008-08-15 | wenzelm | added some abbrevs; | file | diff | annotate |
| 2008-08-15 | wenzelm | removed redundant "symbol" property; | file | diff | annotate |
| 2008-08-15 | wenzelm | Default interpretation of some Isabelle symbols. | file | diff | annotate |