| 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 |
| Wed, 04 Mar 2009 10:47:20 +0100 | nipkow | Made Option a separate theory and renamed option_map to Option.map | file | diff | annotate |