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 |