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 |
Fri, 12 Oct 2012 18:58:20 +0200 | wenzelm | discontinued obsolete typedef (open) syntax; | file | diff | annotate |
Fri, 13 Apr 2012 14:00:26 +0200 | wenzelm | updated headers; | file | diff | annotate |
Sat, 17 Mar 2012 12:52:40 +0100 | wenzelm | renamed HOL-Matrix to HOL-Matrix_LP to avoid name clash with AFP; | file | diff | annotate | base |