| 2010-08-27 | wenzelm | 2010-08-27 | modernized specifications; | file | diff | annotate |
| 2010-03-01 | haftmann | 2010-03-01 | replaced a couple of constsdefs by definitions (also some old primrecs by modern ones) | file | diff | annotate |
| 2010-02-11 | wenzelm | 2010-02-11 | formal markup of @{syntax_const} and @{const_syntax}; authentic syntax for extra robustness; | file | diff | annotate |
| 2007-11-12 | schirmer | 2007-11-12 | added signatures; tuned | file | diff | annotate |
| 2007-10-24 | wenzelm | 2007-10-24 | be explicit about .ML files; | file | diff | annotate |
| 2007-10-24 | schirmer | 2007-10-24 | added Statespace library | file | diff | annotate |