| Wed, 19 Oct 2011 16:36:13 +0200 | blanchet | more uniform SZS status handling | changeset | files |
| Wed, 19 Oct 2011 16:36:13 +0200 | blanchet | avoid generating too meta theorems -- this sometimes leads to type errors, e.g. when "pp" is applied to a "prop" instead of a "bool" | changeset | files |
| Wed, 19 Oct 2011 16:32:30 +0200 | nipkow | merged | changeset | files |
| Wed, 19 Oct 2011 16:32:12 +0200 | nipkow | renamed B to Bc | changeset | files |
| Wed, 19 Oct 2011 17:04:43 +0200 | wenzelm | tuned comment; | changeset | files |
| Wed, 19 Oct 2011 17:03:07 +0200 | wenzelm | proper source positions for @{lemma}; | changeset | files |