| Sat, 23 Jun 2007 19:33:22 +0200 | nipkow | tuned and renamed group_eq_simps and ring_eq_simps | file | diff | annotate |
| Fri, 16 Mar 2007 21:32:08 +0100 | haftmann | adjusted to new lattice theory developement in Lattices.thy / FixedPoint.thy | file | diff | annotate |
| Fri, 09 Mar 2007 08:45:50 +0100 | haftmann | stepping towards uniform lattice theory development in HOL | file | diff | annotate |
| Sun, 12 Nov 2006 19:22:10 +0100 | nipkow | started reorgnization of lattice theories | file | diff | annotate |
| Wed, 20 Sep 2006 00:24:24 +0200 | wenzelm | renamed axclass_xxxx axclasses; | file | diff | annotate |
| Wed, 19 Oct 2005 21:52:27 +0200 | wenzelm | isatool fixheaders; | file | diff | annotate |
| Thu, 07 Jul 2005 12:39:17 +0200 | nipkow | linear arithmetic now takes "&" in assumptions apart. | file | diff | annotate |