Fri, 05 Aug 2011 22:58:17 +0200 | haftmann | tuned order: pushing INF and SUP to Inf and Sup | changeset | files |
Fri, 05 Aug 2011 22:45:57 +0200 | haftmann | generalized lemmas to complete lattices | changeset | files |
Fri, 05 Aug 2011 17:22:28 +0200 | Andreas Lochbihler | merged | changeset | files |