| Wed, 09 May 2012 10:39:54 +0200 | bulwahn | playing around with mira settings | changeset | files |
| Tue, 08 May 2012 14:35:13 +0200 | bulwahn | defining and proving Executable_Relation with lift_definition and transfer | changeset | files |
| Tue, 08 May 2012 14:31:03 +0200 | bulwahn | specialised fact in the Record theory should not be appear in proofs discovered by sledgehammer | changeset | files |