Fri, 21 May 2004 21:16:51 +0200 | wenzelm | removed duplicate thms; | file | diff | annotate |
Tue, 18 May 2004 10:01:44 +0200 | obua | Modification / Installation of Provers/Arith/abel_cancel.ML for OrderedGroup.thy | file | diff | annotate |
Tue, 11 May 2004 20:11:08 +0200 | obua | changes made due to new Ring_and_Field theory | file | diff | annotate |