| 2014-11-02 | wenzelm | 2014-11-02 | modernized header uniformly as section; | file | diff | annotate |
| 2014-09-11 | blanchet | 2014-09-11 | updated news | file | diff | annotate |
| 2014-09-11 | blanchet | 2014-09-11 | renamed 'datatype' to 'old_datatype'; 'datatype' is now alias for 'datatype_new' | file | diff | annotate |
| 2014-09-09 | blanchet | 2014-09-09 | use 'datatype_new' (soon to be renamed 'datatype') in Isabelle's libraries | file | diff | annotate |
| 2013-02-22 | wenzelm | 2013-02-22 | updated headers; | file | diff | annotate |
| 2013-02-15 | haftmann | 2013-02-15 | less customary term_of conversions; spurious side effect on method reflection | file | diff | annotate |
| 2013-02-13 | haftmann | 2013-02-13 | tuned, particulary name | file | diff | annotate | base |