| 2010-02-23 | haftmann | 2010-02-23 | dropped axclass; dropped Id; session theory Hoare.thy | file | diff | annotate |
| 2010-02-11 | wenzelm | 2010-02-11 | modernized translations; formal markup of @{syntax_const} and @{const_syntax}; | file | diff | annotate |
| 2010-02-10 | wenzelm | 2010-02-10 | modernized translations; | file | diff | annotate |
| 2005-06-17 | haftmann | 2005-06-17 | migrated theory headers to new format | file | diff | annotate |
| 2003-03-23 | nipkow | 2003-03-23 | *** empty log message *** | file | diff | annotate |