| Mon, 17 Oct 2005 23:10:10 +0200 | wenzelm | change_claset/simpset; | changeset | files |
| Mon, 17 Oct 2005 19:19:29 +0200 | berghofe | Improved proof of injectivity theorems to make it work on | changeset | files |
| Mon, 17 Oct 2005 18:34:51 +0200 | berghofe | Fixed bug in proof of support theorem (it failed on constructors with no arguments). | changeset | files |
| Mon, 17 Oct 2005 17:42:24 +0200 | berghofe | Implemented proofs for support and freshness theorems. | changeset | files |