| Thu, 12 Dec 2013 23:18:47 +0100 | wenzelm | merged | changeset | files |
| Thu, 12 Dec 2013 22:56:28 +0100 | wenzelm | discontinued legacy_isub_isup; | changeset | files |
| Thu, 12 Dec 2013 22:38:25 +0100 | wenzelm | clarified Trace_Ops: global theory data avoids init of simpset in Pure.thy, which is important to act as neutral element in merge; | changeset | files |