| Sun, 07 Nov 2010 11:22:31 +0000 | Christian Urban | fixed locally the problem with the function package; all tests work again | file | diff | annotate |
| Mon, 20 Sep 2010 21:52:45 +0800 | Christian Urban | introduced a general procedure for structural inductions; simplified reflexivity proof | file | diff | annotate |