Fri, 29 Oct 2010 14:06:10 +0200 | haftmann | merged | changeset | files |
Fri, 29 Oct 2010 14:03:02 +0200 | haftmann | tuned structure of theory | changeset | files |
Fri, 29 Oct 2010 13:49:49 +0200 | haftmann | remove term_of equations for Heap type explicitly | changeset | files |