| 2010-04-14 | Christian Urban | added a library for basic nominal functions; separated nominal_eqvt file | file | diff | annotate |
| 2010-04-14 | Christian Urban | first working version of the automatic equivariance procedure | file | diff | annotate |
| 2010-04-14 | Christian Urban | preliminary tests | file | diff | annotate |
| 2010-04-13 | Christian Urban | made everything to compile | file | diff | annotate |
| 2010-04-12 | Christian Urban | some small tunings (incompleted work in Lambda.thy) | file | diff | annotate |
| 2010-04-12 | Christian Urban | early ott paper | file | diff | annotate |