Fri, 05 May 2006 18:39:16 +0200 | krauss | Added small example theory for new function package. | changeset | files |
Fri, 05 May 2006 18:21:58 +0200 | webertj | string_of_... functions added | changeset | files |
Fri, 05 May 2006 18:09:53 +0200 | urbanc | added the lemma pt_fresh_bij2 | changeset | files |