Fri, 05 Aug 2011 23:06:54 +0200 | haftmann | tuned order: pushing INF and SUP to Inf and Sup | changeset | files |
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 |