| Fri, 10 Sep 2010 09:17:40 +0800 | Christian Urban | supp-proofs work except for CoreHaskell and Modules (induct is probably not finding the correct instance) | file | diff | annotate |
| Fri, 03 Sep 2010 22:22:43 +0800 | Christian Urban | made the fv-definition aggree more with alpha (needed in the support proofs) | file | diff | annotate |
| Sun, 29 Aug 2010 01:17:36 +0800 | Christian Urban | added proofs for fsupp properties | file | diff | annotate |
| Sun, 29 Aug 2010 00:09:45 +0800 | Christian Urban | proved supports lemmas | file | diff | annotate |
| Sat, 28 Aug 2010 13:41:31 +0800 | Christian Urban | updated to new Isabelle | file | diff | annotate |
| Thu, 19 Aug 2010 18:24:36 +0800 | Christian Urban | used @{const_name} hopefully everywhere | file | diff | annotate |
| Wed, 18 Aug 2010 00:19:15 +0800 | Christian Urban | improved runtime slightly, by constructing an explicit size measure for the function definitions | file | diff | annotate |
| Tue, 17 Aug 2010 18:00:55 +0800 | Christian Urban | deleted unused code | file | diff | annotate |