| Wed, 21 Nov 2012 09:07:41 +0100 | nipkow | new theory of immutable arrays | changeset | files |
| Tue, 20 Nov 2012 22:53:59 +0100 | wenzelm | some grouping of Isabelle symbols, based on X-Symbol grid in PG-3.7.1.1 and a proposal by Fabian Immler; | changeset | files |
| Tue, 20 Nov 2012 22:52:04 +0100 | wenzelm | support for symbol groups, retaining original order of declarations; | changeset | files |
| Tue, 20 Nov 2012 21:01:53 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 20 Nov 2012 18:59:35 +0100 | hoelzl | add Countable_Set theory | changeset | files |
| Tue, 20 Nov 2012 17:49:26 +0100 | nipkow | tuned proof | changeset | files |
| Tue, 20 Nov 2012 15:18:11 +0100 | wenzelm | simplified command line of "isabelle install"; | changeset | files |