Tue, 25 Feb 2014 19:07:42 +0100 | kuncar | simplify a proof due to 6c95a39348bd | changeset | files |
Tue, 25 Feb 2014 19:07:40 +0100 | kuncar | new rule for making rsp theorem more readable | changeset | files |
Tue, 25 Feb 2014 19:07:14 +0100 | kuncar | unregister lifting setup following the best practice of Lifting | changeset | files |