Wed, 13 Jul 2011 19:43:12 +0200 | haftmann | moved lemmas bot_less and less_top to classes bot and top respectively | changeset | files |
Wed, 13 Jul 2011 19:40:18 +0200 | haftmann | tightened specification of classes bot and top: uniqueness of top and bot elements | changeset | files |
Wed, 13 Jul 2011 22:16:19 +0200 | blanchet | honor the TPTP environment variable as the root of include relative paths -- that's a weird convention but without it Nitrox will fail at CASC | changeset | files |