src/Provers/Arith/fast_lin_arith.ML
1999-09-21 nipkow 1999-09-21 Mod because of new solver interface.
1999-09-21 nipkow 1999-09-21 Added comments.
1999-09-21 nipkow 1999-09-21 Now distinguishes discrete from non-distrete types.
1999-01-14 nipkow 1999-01-14 More arith refinements.
1999-01-13 nipkow 1999-01-13 Simplified interface.
1999-01-12 nipkow 1999-01-12 Split argument structure.
1999-01-11 nipkow 1999-01-11 More arith simplifications.
1999-01-09 nipkow 1999-01-09 Added simproc.
1999-01-05 nipkow 1999-01-05 Small mods.
1999-01-04 nipkow 1999-01-04 Version 1 of linear arithmetic for nat.
1998-11-27 nipkow 1998-11-27 Replaced the puny nat_transitive.ML by the general fast_lin_arith.ML.