| Thu, 12 Nov 2009 17:21:51 +0100 | hoelzl | Remove map_compose, replaced by map_map | file | diff | annotate |
| Sat, 17 Oct 2009 14:43:18 +0200 | wenzelm | eliminated hard tabulators, guessing at each author's individual tab-width; | file | diff | annotate |
| 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 |