src/HOL/Rat.thy
2010-05-27 wenzelm 2010-05-27 constant Rat.normalize needs to be qualified;
2010-04-27 haftmann 2010-04-27 explicit is better than implicit
2010-04-26 haftmann 2010-04-26 use new classes (linordered_)field_inverse_zero
2010-04-26 haftmann 2010-04-26 class division_ring_inverse_zero
2010-04-23 haftmann 2010-04-23 separated instantiation of division_by_zero
2010-04-11 haftmann 2010-04-11 user interface for abstract datatypes is an attribute, not a command
2010-03-11 haftmann 2010-03-11 tuned prefixes of ac interpretations
2010-02-27 wenzelm 2010-02-27 clarified @{const_name} vs. @{const_abbrev};
2010-02-26 haftmann 2010-02-26 merged
2010-02-26 haftmann 2010-02-26 implement quotient_of for odl SML code generator
2010-02-24 haftmann 2010-02-24 bound argument for abstype proposition
2010-02-24 haftmann 2010-02-24 renamed theory Rational to Rat