| Sat, 07 Jun 2014 21:49:17 +0200 | haftmann | treat non-canonical interpretations of classes the same way as ordinary locale interpretations | changeset | files |
| Sat, 07 Jun 2014 08:16:03 +0200 | haftmann | tuned | changeset | files |
| Sat, 07 Jun 2014 08:16:03 +0200 | haftmann | avoid odd Named_Target.reinit altogether | changeset | files |
| Sat, 07 Jun 2014 08:16:03 +0200 | haftmann | clarified terminology: toplevel is interwined with named targets in particular, not with local theories in general | changeset | files |
| Sat, 07 Jun 2014 08:16:03 +0200 | haftmann | less baroque interface | changeset | files |
| Fri, 06 Jun 2014 19:19:46 +0200 | haftmann | dropped obscure and unused ad-hoc before_exit hook for named targets | changeset | files |
| Fri, 06 Jun 2014 12:36:06 +0200 | nipkow | added lemma | changeset | files |