| Mon, 16 Sep 2013 12:51:33 +0200 | wenzelm | updated to smlnj 110.76; | changeset | files |
| Mon, 16 Sep 2013 12:37:54 +0200 | wenzelm | prefer high-level ML_System.share_common_data, ML_System.save_state -- except for bootstrap images (RAW, Pure); | changeset | files |
| Mon, 16 Sep 2013 11:46:24 +0200 | wenzelm | more NEWS; | changeset | files |
| 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 |
| 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 |