| Tue, 26 Mar 2013 22:09:39 +0100 | haftmann | avoid odd foundational terms after interpretation; | changeset | files |
| Tue, 26 Mar 2013 21:53:56 +0100 | haftmann | more uniform style for interpretation and sublocale declarations | changeset | files |
| Tue, 26 Mar 2013 20:55:21 +0100 | wenzelm | merged | changeset | files |
| Tue, 26 Mar 2013 20:37:32 +0100 | wenzelm | tuned session specification; | changeset | files |
| Tue, 26 Mar 2013 20:36:32 +0100 | wenzelm | tuned proof; | changeset | files |
| Tue, 26 Mar 2013 20:02:02 +0100 | wenzelm | tuned imports; | changeset | files |
| Tue, 26 Mar 2013 19:43:31 +0100 | wenzelm | tuned proofs; | changeset | files |