| Mon, 27 Nov 2006 13:42:39 +0100 | haftmann | moved order arities for fun and bool to Fun/Orderings | file | diff | annotate |
| Fri, 17 Nov 2006 02:20:03 +0100 | wenzelm | more robust syntax for definition/abbreviation/notation; | file | diff | annotate |
| Mon, 13 Nov 2006 15:43:03 +0100 | haftmann | added LOrder dependency | file | diff | annotate |
| Sun, 12 Nov 2006 21:31:52 +0100 | nipkow | image_constant_conv no longer [simp] | file | diff | annotate |
| Sun, 12 Nov 2006 19:22:10 +0100 | nipkow | started reorgnization of lattice theories | file | diff | annotate |
| Fri, 13 Oct 2006 18:10:16 +0200 | berghofe | Generalized gfp and lfp to arbitrary complete lattices. | file | diff | annotate |
| Thu, 22 Sep 2005 23:56:15 +0200 | nipkow | renamed rules to iprover | file | diff | annotate |
| Wed, 03 Aug 2005 14:47:51 +0200 | avigad | combined Lfp and Gfp to FixedPoint | file | diff | annotate |