| Tue, 31 Jul 2007 19:40:23 +0200 | wenzelm | HOL setup for linear arithmetic -- moved here from arith_data.ML; | changeset | files |
| Tue, 31 Jul 2007 19:40:22 +0200 | wenzelm | added Tools/lin_arith.ML; | changeset | files |
| Tue, 31 Jul 2007 19:38:33 +0200 | wenzelm | tuned; | changeset | files |