| Thu, 21 Dec 2000 16:18:40 +0100 | nipkow | rational arithemtic | file | diff | annotate |
| Mon, 18 Dec 2000 14:57:34 +0100 | nipkow | towards rtional arithmetic | file | diff | annotate |
| Fri, 01 Dec 2000 19:54:11 +0100 | nipkow | Now adjusted to mixed terms involving coercions. | file | diff | annotate |
| Mon, 24 Jul 2000 23:48:29 +0200 | wenzelm | avoid global references; | file | diff | annotate |
| Fri, 16 Jun 2000 13:13:55 +0200 | paulson | tracing flag for arith_tac | file | diff | annotate |
| Sat, 19 Feb 2000 13:47:12 +0100 | nipkow | Commenst. | file | diff | annotate |
| Thu, 23 Sep 1999 09:04:36 +0200 | nipkow | Restructured lin.arith.package. | file | diff | annotate |
| Tue, 21 Sep 1999 19:11:07 +0200 | nipkow | Mod because of new solver interface. | file | diff | annotate |
| Tue, 21 Sep 1999 14:21:53 +0200 | nipkow | Added comments. | file | diff | annotate |
| Tue, 21 Sep 1999 14:16:08 +0200 | nipkow | Now distinguishes discrete from non-distrete types. | file | diff | annotate |
| Thu, 14 Jan 1999 13:18:09 +0100 | nipkow | More arith refinements. | file | diff | annotate |
| Wed, 13 Jan 1999 08:41:59 +0100 | nipkow | Simplified interface. | file | diff | annotate |
| Tue, 12 Jan 1999 16:00:31 +0100 | nipkow | Split argument structure. | file | diff | annotate |
| Mon, 11 Jan 1999 16:50:49 +0100 | nipkow | More arith simplifications. | file | diff | annotate |
| Sat, 09 Jan 1999 15:25:44 +0100 | nipkow | Added simproc. | file | diff | annotate |
| Tue, 05 Jan 1999 17:28:46 +0100 | nipkow | Small mods. | file | diff | annotate |
| Mon, 04 Jan 1999 15:08:40 +0100 | nipkow | Version 1 of linear arithmetic for nat. | file | diff | annotate |
| Fri, 27 Nov 1998 16:54:59 +0100 | nipkow | Replaced the puny nat_transitive.ML by the general fast_lin_arith.ML. | file | diff | annotate |