| Thu, 01 Jan 2009 23:31:49 +0100 | wenzelm | normalized some ML type/val aliases; | file | diff | annotate |
| Wed, 31 Dec 2008 15:30:10 +0100 | wenzelm | moved term order operations to structure TermOrd (cf. Pure/term_ord.ML); | file | diff | annotate |
| Wed, 10 Dec 2008 22:55:15 +0100 | wenzelm | more antiquotations; | file | diff | annotate |
| Thu, 20 Mar 2008 00:20:44 +0100 | wenzelm | simplified get_thm(s): back to plain name argument; | file | diff | annotate |
| Wed, 19 Mar 2008 22:27:57 +0100 | wenzelm | renamed datatype thmref to Facts.ref, tuned interfaces; | file | diff | annotate |
| Mon, 12 Nov 2007 11:07:22 +0100 | schirmer | added signatures; | file | diff | annotate |
| Wed, 24 Oct 2007 18:36:09 +0200 | schirmer | added Statespace library | file | diff | annotate |