| Mon, 26 Jan 2009 22:14:16 +0100 | haftmann | entry point for Word library now named Word | changeset | files |
| Mon, 26 Jan 2009 08:23:55 +0100 | haftmann | correct proof of assm_intro rule | changeset | files |
| Mon, 26 Jan 2009 08:23:41 +0100 | haftmann | sorted_take, sorted_drop | changeset | files |
| Fri, 23 Jan 2009 19:52:02 +0100 | haftmann | merged | changeset | files |
| Fri, 23 Jan 2009 19:51:49 +0100 | haftmann | fixed fixme | changeset | files |
| Fri, 23 Jan 2009 19:51:49 +0100 | haftmann | avoiding misleading name duplicate | changeset | files |
| Fri, 23 Jan 2009 19:51:48 +0100 | haftmann | lemmas dom_const, dom_if | changeset | files |
| Fri, 23 Jan 2009 15:37:12 +0100 | wenzelm | merged | changeset | files |
| Fri, 23 Jan 2009 09:06:14 +0100 | immler | moved all output to watcher-thread | changeset | files |
| Fri, 23 Jan 2009 10:21:48 +0100 | haftmann | be more liberal with selected code statements | changeset | files |
| Fri, 23 Jan 2009 10:21:27 +0100 | haftmann | making SMLNJ happy | changeset | files |
| Thu, 22 Jan 2009 11:23:15 +0100 | wenzelm | tuned signature; | changeset | files |