| Tue, 14 May 2019 11:10:53 +0200 | Norbert Schirmer | Accomodate to Isabelle 2018 | file | diff | annotate |
| Sat, 31 Aug 2013 08:07:45 +0100 | Christian Urban |
updated subscripts | file | diff | annotate |
| Mon, 30 Apr 2012 14:43:52 +0100 | Christian Urban | removed special ML-setup and replaced it by explicit markups (i.e., %grayML) | file | diff | annotate |
| Sun, 25 Oct 2009 16:12:05 +0100 | Christian Urban | polished | file | diff | annotate |