src/HOL/Rat.thy
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