| Thu, 20 Mar 2014 23:13:33 +0100 | wenzelm | merged | changeset | files |
| Thu, 20 Mar 2014 22:40:12 +0100 | wenzelm | produce qualified names more directly; | changeset | files |
| Thu, 20 Mar 2014 22:34:27 +0100 | wenzelm | more symbols; | changeset | files |
| Thu, 20 Mar 2014 22:00:13 +0100 | wenzelm | more static checking of proof methods; | changeset | files |