| 2011-01-07 | Christian Urban | added one further lemma about equivariance of THE_default | file | diff | annotate |
| 2011-01-07 | Christian Urban | equivariance of THE_default under the uniqueness assumption | file | diff | annotate |
| 2011-01-07 | Christian Urban | derived equivariance for the function graph and function relation | file | diff | annotate |
| 2011-01-06 | Christian Urban | a modified function package where, as a test, True has been injected into the compatibility condictions | file | diff | annotate |