src/HOL/Tools/lin_arith.ML
Tue, 14 Aug 2007 23:22:51 +0200 wenzelm avoid low-level tsig;
Thu, 09 Aug 2007 15:52:47 +0200 haftmann localized of_nat
Wed, 01 Aug 2007 16:55:40 +0200 wenzelm simplified internal Config interface;
Tue, 31 Jul 2007 19:40:23 +0200 wenzelm HOL setup for linear arithmetic -- moved here from arith_data.ML;
less more (0) tip