| Tue, 25 Feb 2014 19:07:14 +0100 | kuncar | unregister lifting setup following the best practice of Lifting | changeset | files |
| Tue, 25 Feb 2014 17:06:17 +0000 | paulson | generalised some results using type classes | changeset | files |
| Tue, 25 Feb 2014 16:17:20 +0000 | paulson | More complex-related lemmas | changeset | files |
| Tue, 25 Feb 2014 15:02:54 +0100 | kuncar | the rules are not needed due to 1726f46d2aa8 | changeset | files |