src/HOL/Library/Rational_Numbers.thy
Tue, 23 Oct 2001 22:57:52 +0200 wenzelm use generic 1 instead of Numeral1;
Fri, 05 Oct 2001 21:52:39 +0200 wenzelm sane numerals (stage 1): added generic 1, removed 1' and 2 on nat,
Tue, 04 Sep 2001 21:10:57 +0200 wenzelm renamed "antecedent" case to "rule_context";
Fri, 15 Dec 2000 17:59:45 +0100 wenzelm GPLed;
Wed, 13 Dec 2000 16:22:10 +0100 wenzelm tuned comments;
Wed, 06 Dec 2000 22:08:49 +0100 wenzelm left_minus axiom;
Wed, 06 Dec 2000 20:05:58 +0100 wenzelm added Library/Rational_Numbers.thy;
less more (0) tip