2010-03-01 ago replaced a couple of constsdefs by definitions (also some old primrecs by modern ones)
2009-11-12 ago New list theorems; added map_map to simpset, this is the prefered direction; allow sorting by a key
2009-10-22 ago map_range (and map_index) combinator
2009-10-17 ago eliminated hard tabulators, guessing at each author's individual tab-width;
2009-09-22 ago be more cautious wrt. simp rules: inf_absorb1, inf_absorb2, sup_absorb1, sup_absorb2 are no simp rules by default any longer
2009-08-28 ago tuned proofs
2009-07-07 ago renamed lemmas: nat_xyz/int_xyz -> xyz_nat/xyz_int
2009-06-17 ago new GCD library, courtesy of Jeremy Avigad
2009-03-23 ago suddenly infix identifier oo occurs in generated code
2009-03-11 ago Updated paths in Decision_Procs comments and NEWS
2009-02-21 ago Removed subsumed lemmas
2009-02-06 ago session Reflecion renamed to Decision_Procs, moved Dense_Linear_Order there