| 2016-01-01 | wenzelm | isabelle update_cartouches -c -t; | file | diff | annotate |
| 2015-10-19 | wenzelm | repaired document; | file | diff | annotate |
| 2015-10-19 | wenzelm | more symbols; | file | diff | annotate |
| 2015-07-23 | wenzelm | isabelle update_cartouches; | file | diff | annotate |
| 2014-11-02 | wenzelm | modernized header uniformly as section; | file | diff | annotate |
| 2013-04-27 | wenzelm | uniform Proof.context for hyp_subst_tac; | file | diff | annotate |
| 2009-07-09 | wenzelm | removed obsolete CVS Ids; | file | diff | annotate |
| 2005-06-17 | haftmann | migrated theory headers to new format | file | diff | annotate |
| 2003-10-16 | paulson | partial conversion to Isar scripts | file | diff | annotate |