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 |