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 |