wenzelm [Sun, 28 Feb 2010 22:30:51 +0100] rev 35409
more antiquotations;
eliminated legacy ML bindings;
wenzelm [Sat, 27 Feb 2010 23:13:01 +0100] rev 35408
modernized structure Term_Ord;
wenzelm [Sat, 27 Feb 2010 22:52:25 +0100] rev 35407
use existing Typ_Graph;
wenzelm [Sat, 27 Feb 2010 22:52:06 +0100] rev 35406
further standard instances of functor Graph;
wenzelm [Sat, 27 Feb 2010 22:41:22 +0100] rev 35405
code simplification by inlining;
wenzelm [Sat, 27 Feb 2010 21:56:55 +0100] rev 35404
just one copy of structure Term_Graph (in Pure);
wenzelm [Sat, 27 Feb 2010 21:56:05 +0100] rev 35403
modernized structure Int_Graph;
wenzelm [Sat, 27 Feb 2010 20:57:08 +0100] rev 35402
clarified @{const_name} vs. @{const_abbrev};
wenzelm [Sat, 27 Feb 2010 20:56:03 +0100] rev 35401
clarified @{const_name} (only logical consts) vs. @{const_abbrev};
tuned;
wenzelm [Sat, 27 Feb 2010 20:55:18 +0100] rev 35400
type/const name: explicitly allow abbreviations as well;