Fri, 27 Jun 2014 18:27:37 +0200 | blanchet | tuned whitespace and parentheses | changeset | files |
Fri, 27 Jun 2014 17:18:30 +0200 | blanchet | use right theory name for theorems in evaluation driver | changeset | files |
Fri, 27 Jun 2014 17:05:22 +0200 | blanchet | killed dead code | changeset | files |