Wed, 12 Dec 2012 21:48:29 +0100 | blanchet | don't query blacklisted theorems in evaluation driver | changeset | files |
Wed, 12 Dec 2012 21:48:29 +0100 | blanchet | export a pair of ML functions | changeset | files |
Fri, 14 Dec 2012 12:18:51 +0100 | wenzelm | merged; | changeset | files |