| Thu, 23 Jul 2015 22:13:42 +0200 | wenzelm | more symbols by default, without xsymbols mode; | file | diff | annotate |
| Fri, 26 Jun 2015 11:07:04 +0200 | wenzelm | proper spacing, as for other syntax for these symbols; | file | diff | annotate |
| Sun, 02 Nov 2014 18:21:45 +0100 | wenzelm | modernized header uniformly as section; | file | diff | annotate |
| Sat, 22 Mar 2014 08:37:43 +0100 | haftmann | generalized and strengthened cong rules on compound operators, similar to 1ed737a98198 | file | diff | annotate |
| Tue, 21 Feb 2012 17:09:17 +0100 | wenzelm | tuned proofs; | file | diff | annotate |
| Sun, 20 Nov 2011 21:05:23 +0100 | wenzelm | eliminated obsolete "standard"; | file | diff | annotate |
| Wed, 14 Sep 2011 10:08:52 -0400 | hoelzl | renamed Complete_Lattices lemmas, removed legacy names | file | diff | annotate |