| Tue, 21 Sep 2010 15:46:05 +0200 | haftmann | tuned whitespace | changeset | files |
| Wed, 22 Sep 2010 10:02:39 +0200 | blanchet | make SML/NJ happier | changeset | files |
| Tue, 21 Sep 2010 14:42:29 +0200 | haftmann | more conventional conversion signature | changeset | files |
| Tue, 21 Sep 2010 14:42:27 +0200 | haftmann | added nbe paper | changeset | files |
| Tue, 21 Sep 2010 14:36:13 +0200 | haftmann | continued section abut evaluation | changeset | files |
| Tue, 21 Sep 2010 10:02:50 +0200 | blanchet | make SML/NJ happier | changeset | files |
| 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 |
| Wed, 22 Sep 2010 16:03:57 +0200 | wenzelm | basic support for full document rendering; | changeset | files |