| Tue, 31 Mar 2009 14:10:14 +0200 | wenzelm | updated latex requirement; | changeset | files |
| Tue, 31 Mar 2009 14:09:58 +0200 | wenzelm | tuned document; | changeset | files |
| Tue, 31 Mar 2009 14:09:28 +0200 | wenzelm | replaced 'a set by abstract 'a::complete_lattice, and recover plain reasoning instead of adhoc automation (by simp); | changeset | files |