| Mon, 06 Jun 2011 13:11:04 +0100 | Christian Urban | slightly stronger property in fundef_ex_prop | file | diff | annotate |
| Sun, 05 Jun 2011 16:58:18 +0100 | Christian Urban | added a more general lemma fro fundef_ex1 | file | diff | annotate |
| Thu, 02 Jun 2011 15:35:33 +0100 | Christian Urban | removed dead code | file | diff | annotate |