| 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 |