| Wed, 07 Aug 2002 05:54:44 +0200 | nipkow | Fixed two bugs | file | diff | annotate |
| Thu, 30 May 2002 10:12:11 +0200 | nipkow | Big update. Allows case splitting on ~= now (trying both < and >). | file | diff | annotate |
| Tue, 07 May 2002 14:26:32 +0200 | wenzelm | use eq_thm_prop instead of slightly inadequate eq_thm; | file | diff | annotate |
| Mon, 25 Feb 2002 10:45:22 +0100 | nipkow | updated debugging output | file | diff | annotate |
| Wed, 28 Nov 2001 00:46:26 +0100 | wenzelm | theory data: removed obsolete finish method; | file | diff | annotate |
| Sat, 24 Nov 2001 16:55:00 +0100 | wenzelm | gen_merge_lists'; | file | diff | annotate |
| Wed, 21 Nov 2001 00:36:51 +0100 | wenzelm | use tracing function for trace output; | file | diff | annotate |
| Thu, 08 Nov 2001 23:59:37 +0100 | wenzelm | theory data: finish method; | file | diff | annotate |
| 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 |