Tue, 19 Jul 2011 09:35:24 +0100 | Christian Urban | added termination file | changeset | files |
Tue, 19 Jul 2011 02:30:05 +0100 | Christian Urban | preliminary version of automatically generation the eqvt-lemmas for functions defined with nominal_primrec | changeset | files |