| Tue, 22 Sep 2009 15:36:55 +0200 | haftmann | be more cautious wrt. simp rules: inf_absorb1, inf_absorb2, sup_absorb1, sup_absorb2 are no simp rules by default any longer | file | diff | annotate |
| Fri, 28 Aug 2009 20:18:33 +0200 | nipkow | tuned proofs | file | diff | annotate |
| Fri, 28 Aug 2009 18:52:41 +0200 | nipkow | Turned "x <= y ==> sup x y = y" (and relatives) into simp rules | file | diff | annotate |
| Sat, 09 May 2009 09:17:29 +0200 | haftmann | interface changes in linarith.ML | file | diff | annotate |
| Wed, 04 Mar 2009 10:47:20 +0100 | nipkow | Made Option a separate theory and renamed option_map to Option.map | file | diff | annotate |
| Wed, 01 Aug 2007 16:55:37 +0200 | wenzelm | tuned config options: eliminated separate attribute "option"; | file | diff | annotate |
| Tue, 31 Jul 2007 00:56:31 +0200 | wenzelm | turned fast_arith_split/neq_limit into configuration options; | file | diff | annotate |