| Wed, 27 Mar 2013 11:54:53 +0100 | wenzelm | tuned GUI; | changeset | files |
| Wed, 27 Mar 2013 10:55:05 +0100 | haftmann | centralized various multiset operations in theory multiset; | changeset | files |
| 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 |