| Mon, 16 Sep 2013 15:03:23 +0200 | panny | prove simp theorems for newly generated definitions | changeset | files |
| Mon, 16 Sep 2013 15:30:20 +0200 | kuncar | example using restoring Transfer/Lifting context | changeset | files |
| Mon, 16 Sep 2013 15:30:20 +0200 | kuncar | use lifting_forget for deregistering numeric types as a quotient type | changeset | files |
| Mon, 16 Sep 2013 15:30:17 +0200 | kuncar | restoring Transfer/Lifting context | changeset | files |