src/Tools/rat.ML
Tue, 18 Sep 2007 16:08:00 +0200 wenzelm simplified type int (eliminated IntInf.int, integer);
Sat, 15 Sep 2007 19:27:35 +0200 haftmann fixed title
Mon, 03 Sep 2007 08:07:39 +0200 haftmann fixed Rat.inv
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