| 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 |