| Tue, 21 Feb 2017 15:04:01 +0000 | paulson | Some new lemmas. Existing lemmas modified to use uniform_limit rather than its expansion | changeset | files |
| Sun, 19 Feb 2017 11:58:51 +0100 | haftmann | backed out unintended effects of 8355a6e2df79 in src/HOL/Algebra | changeset | files |
| Sat, 18 Feb 2017 19:49:29 +0100 | haftmann | more complete program generation in presence of dictionaries | changeset | files |
| Fri, 17 Feb 2017 20:01:17 +0100 | wenzelm | removed obsolete test -- coincides with mainline version; | changeset | files |
| Fri, 17 Feb 2017 19:37:14 +0100 | wenzelm | updated to polyml-5.7 pre-release from repository; | changeset | files |
| Thu, 16 Feb 2017 13:54:22 +0100 | fleury | use the cancellation simprocs directly | changeset | files |
| Thu, 16 Feb 2017 09:45:03 +0100 | fleury | don't activate simproc on cancel_comm_monoid_add | changeset | files |