| Thu, 24 Sep 2015 13:33:42 +0200 | wenzelm | explicit indication of overloaded typedefs; | file | diff | annotate |
| Sun, 13 Sep 2015 22:56:52 +0200 | wenzelm | tuned proofs -- less legacy; | file | diff | annotate |
| Tue, 01 Sep 2015 22:32:58 +0200 | wenzelm | eliminated \<Colon>; | file | diff | annotate |
| Fri, 04 Jul 2014 20:18:47 +0200 | haftmann | reduced name variants for assoc and commute on plus and mult | file | diff | annotate |
| Wed, 25 Dec 2013 17:39:07 +0100 | haftmann | abolished slightly odd global lattice interpretation for min/max | file | diff | annotate |
| Fri, 01 Nov 2013 18:51:14 +0100 | haftmann | more simplification rules on unary and binary minus | file | diff | annotate |
| Thu, 08 Nov 2012 11:59:48 +0100 | bulwahn | adjusting proofs as the set_comprehension_pointfree simproc breaks some existing proofs | file | diff | annotate |