Tue, 15 Jan 2013 20:51:30 +0100 | blanchet | more improvements to Isar proof reconstructions | changeset | files |
Tue, 15 Jan 2013 20:51:30 +0100 | blanchet | tuned whitespace | changeset | files |
Tue, 15 Jan 2013 20:22:01 +0100 | wenzelm | merged | changeset | files |