| Wed, 28 Mar 2007 19:16:11 +0200 | berghofe | - Renamed <predicate>_eqvt to <predicate>.eqvt | file | diff | annotate |
| Wed, 28 Mar 2007 17:27:44 +0200 | urbanc | adapted to new nominal_inductive | file | diff | annotate |
| Mon, 27 Nov 2006 14:05:43 +0100 | urbanc | adapted function definitions to new syntax | file | diff | annotate |