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