Wed, 08 Mar 2006 18:00:00 +0100 | urbanc | deleted some proofs "on comment" | changeset | files |
Wed, 08 Mar 2006 17:55:51 +0100 | urbanc | tuned some proofs | changeset | files |
Wed, 08 Mar 2006 17:54:55 +0100 | urbanc | tuned some of the proofs about fresh_fun | changeset | files |