| 2011-09-10 | wenzelm | misc tuning and clarification; | file | diff | annotate |
| 2011-04-23 | wenzelm | modernized specifications; | file | diff | annotate |
| 2010-07-22 | wenzelm | updated some headers; | file | diff | annotate |
| 2010-03-01 | haftmann | replaced a couple of constsdefs by definitions (also some old primrecs by modern ones) | file | diff | annotate |
| 2006-01-03 | paulson | added explicit paths to required theories | file | diff | annotate |
| 2005-06-17 | haftmann | migrated theory headers to new format | file | diff | annotate |
| 2003-02-05 | paulson | more tidying | file | diff | annotate |
| 2003-01-24 | paulson | Partial conversion of UNITY to Isar new-style theories | file | diff | annotate |
| 2002-02-21 | wenzelm | removed theory Option; | file | diff | annotate |
| 2001-03-05 | paulson | reorganization of HOL/UNITY, moving examples to subdirectories Simple and Comp | file | diff | annotate |