| Fri, 05 May 2006 16:50:58 +0200 | haftmann | added something | changeset | files |
| Fri, 05 May 2006 16:29:27 +0200 | urbanc | added the lemma abs_fun_eq' to the nominal theory, | changeset | files |
| Fri, 05 May 2006 01:40:17 +0200 | huffman | extensive reformatting and cleaning up code (no changes in functionality) | changeset | files |
| Thu, 04 May 2006 19:49:51 +0200 | haftmann | slight fix | changeset | files |