| Thu, 13 Mar 2014 08:56:07 +0100 | haftmann | monotonicity in complete lattices | changeset | files |
| Thu, 13 Mar 2014 07:07:07 +0100 | nipkow | enhanced simplifier solver for preconditions of rewrite rule, can now deal with conjunctions | changeset | files |
| Wed, 12 Mar 2014 22:57:50 +0100 | wenzelm | tuned signature -- clarified module name; | changeset | files |
| Wed, 12 Mar 2014 22:44:55 +0100 | wenzelm | added ML antiquotation @{here}; | changeset | files |
| Wed, 12 Mar 2014 22:41:04 +0100 | wenzelm | ML_Context.check_antiquotation still required; | changeset | files |
| Wed, 12 Mar 2014 21:58:48 +0100 | wenzelm | simplified programming interface to define ML antiquotations -- NB: the transformed context ignores updates of the context parser; | changeset | files |