src/Tools/rat.ML
Mon, 03 Sep 2007 08:01:35 +0200 haftmann fixed Rat.inv
Fri, 29 Jun 2007 21:23:05 +0200 haftmann tuned arithmetic modules
Sat, 09 Jun 2007 00:28:46 +0200 wenzelm simplified type integer;
Tue, 05 Jun 2007 19:19:30 +0200 haftmann tuned integers
Tue, 05 Jun 2007 15:17:02 +0200 haftmann moved generic algebra modules
less more (0) tip