Mon, 16 Sep 2013 16:48:08 +0200 | panny | merge | changeset | files |
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 |