| Tue, 13 Apr 2010 00:47:57 +0200 | Christian Urban | moved equivariance of map into Nominal2_Eqvt file | file | diff | annotate |
| Mon, 12 Apr 2010 13:34:54 +0200 | Christian Urban | implemented in thmdecls the case where eqvt-lemmas are of the form _ ==> _ | file | diff | annotate |