| Thu, 12 May 2016 22:06:18 +0200 | wenzelm | common entity definitions within a global or local theory context; | changeset | files |
| Thu, 12 May 2016 14:38:53 +0200 | haftmann | clarified heading | changeset | files |
| Thu, 12 May 2016 09:34:07 +0200 | haftmann | a quasi-recursive characterization of the multiset order (by Christian Sternagel) | changeset | files |
| Thu, 12 May 2016 11:34:19 +0200 | wenzelm | merged | changeset | files |
| Thu, 12 May 2016 10:57:09 +0200 | wenzelm | avoid spurious fact index, notably in "context begin" (via Bundle.context); | changeset | files |
| Thu, 12 May 2016 10:21:59 +0200 | wenzelm | tuned; | changeset | files |