| Fri, 13 Apr 2007 21:26:35 +0200 | wenzelm | tuned document (headers, sections, spacing); | file | diff | annotate |
| Fri, 13 Apr 2007 12:30:47 +0200 | krauss | more robust proof | file | diff | annotate |
| Tue, 10 Apr 2007 21:52:38 +0200 | krauss | some restructuring | 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 |
| Sat, 10 Mar 2007 16:24:52 +0100 | berghofe | Adapted to changes in definition of SUP. | file | diff | annotate |
| Fri, 09 Mar 2007 08:45:50 +0100 | haftmann | stepping towards uniform lattice theory development in HOL | file | diff | annotate |
| Wed, 28 Feb 2007 11:12:12 +0100 | krauss | added headers | file | diff | annotate |
| Mon, 26 Feb 2007 21:34:16 +0100 | krauss | Added formalization of size-change principle (experimental). | file | diff | annotate |