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