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 |