2016-05-26 wenzelm 2016-05-26 isabelle update_cartouches -c -t;
2015-11-17 paulson 2015-11-17 Removed some legacy theorems; minor adjustments to simplification rules; new material on homotopic paths
2015-11-10 paulson 2015-11-10 Coercion "real" now has type nat => real only and is no longer overloaded. Type class "real_of" is gone. Many duplicate theorems removed.
2015-10-10 wenzelm 2015-10-10 isabelle update_cartouches;
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2014-07-04 haftmann 2014-07-04 reduced name variants for assoc and commute on plus and mult
2011-09-07 huffman 2011-09-07 avoid using legacy theorem names
2010-08-06 wenzelm 2010-08-06 modernized specifications; tuned headers;
2009-09-01 haftmann 2009-09-01 some reorganization of number theory