| 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 |
| Mon, 16 Sep 2013 11:54:57 +0200 | kuncar | make ML function for deleting quotients public | changeset | files |
| Mon, 16 Sep 2013 11:54:57 +0200 | kuncar | public access to the raw transfer rules - for restoring transferring | changeset | files |
| Mon, 16 Sep 2013 11:22:06 +0200 | wenzelm | another move to avoid sporadic kill of poly, which is presumably due to resource management on lxbroy2, lxbroy3 etc.; | changeset | files |