Tue, 11 Nov 2014 13:40:13 +0100 | wenzelm | simplifie sessions; | changeset | files |
Tue, 11 Nov 2014 11:47:53 +0100 | wenzelm | more Isar proof methods; | changeset | files |
Tue, 11 Nov 2014 11:41:58 +0100 | wenzelm | more Isar proof methods; | changeset | files |