| Sun, 12 Nov 2006 19:22:10 +0100 | nipkow | started reorgnization of lattice theories | file | diff | annotate |
| Wed, 30 Aug 2006 03:19:08 +0200 | webertj | lin_arith_prover: splitting reverted because of performance loss | file | diff | annotate |
| Mon, 31 Jul 2006 21:06:40 +0200 | webertj | lin_arith_prover splits certain operators (e.g. min, max, abs) | file | diff | annotate |
| Wed, 26 Jul 2006 19:23:04 +0200 | webertj | linear arithmetic splits certain operators (e.g. min, max, abs) | file | diff | annotate |
| Fri, 07 Oct 2005 20:41:10 +0200 | nipkow | changes due to new neq_simproc in simpdata.ML | file | diff | annotate |
| Thu, 21 Apr 2005 17:22:23 +0200 | nipkow | fix | file | diff | annotate |
| Wed, 20 Apr 2005 17:19:42 +0200 | nipkow | Used locale interpretations everywhere. -> lemma had new name | file | diff | annotate |