| Tue, 21 Sep 2010 02:03:40 +0200 | nipkow | new lemma | changeset | files |
| Mon, 20 Sep 2010 21:09:42 +0200 | nipkow | merged | changeset | files |
| Mon, 20 Sep 2010 21:09:25 +0200 | nipkow | new lemmas | changeset | files |
| Mon, 20 Sep 2010 20:00:06 +0200 | blanchet | revert b96941dddd04 and c13b4589fddf, which dramatically inflate proof terms | changeset | files |
| Wed, 22 Sep 2010 16:17:20 +0200 | wenzelm | basic setup for Session_Dockable controls; | changeset | files |
| Wed, 22 Sep 2010 16:16:23 +0200 | wenzelm | tuned signature; | changeset | files |
| Wed, 22 Sep 2010 16:04:20 +0200 | wenzelm | more content for Session_Dockable; | changeset | files |