| Wed, 28 Mar 2007 18:25:23 +0200 | urbanc | the name for the collection of equivariance lemmas is now eqvts (changed from eqvt) in order to avoid clashes with eqvt-lemmas generated in nominal_inductive | file | diff | annotate |
| Tue, 27 Mar 2007 19:13:28 +0200 | urbanc | adapted to nominal_inductive | file | diff | annotate |
| Tue, 27 Mar 2007 17:57:05 +0200 | berghofe | Adapted to changes in nominal_inductive. | file | diff | annotate |
| Thu, 22 Mar 2007 16:53:37 +0100 | krauss | fixed function syntax | file | diff | annotate |
| Mon, 19 Mar 2007 19:28:27 +0100 | urbanc | tuned the proof | file | diff | annotate |
| Fri, 16 Mar 2007 17:12:52 +0100 | urbanc | added formalisations of typical SOS-proofs | file | diff | annotate |