Wed, 13 Jul 2011 23:49:56 +0200 | haftmann | uniqueness lemmas for bot and top | changeset | files |
Wed, 13 Jul 2011 23:41:13 +0200 | haftmann | adjusted to tightened specification of classes bot and top | changeset | files |
Wed, 13 Jul 2011 19:43:12 +0200 | haftmann | moved lemmas bot_less and less_top to classes bot and top respectively | changeset | files |