Thu, 24 Jul 2014 00:24:00 +0200 | blanchet | use termtab instead of (perhaps overly sensitive) thmtab | changeset | files |
Thu, 24 Jul 2014 00:24:00 +0200 | blanchet | use the noted theorem whenever possible, because it has a named derivation (leading to cleaner proof terms) | changeset | files |
Wed, 23 Jul 2014 23:16:44 +0200 | wenzelm | tuned message; | changeset | files |