| 2010-08-12 | Christian Urban | updated to Isabelle 12th Aug | file | diff | annotate |
| 2010-08-11 | Christian Urban | rsp for constructors | file | diff | annotate |
| 2010-08-08 | Christian Urban | proved rsp-helper lemmas of size functions | file | diff | annotate |
| 2010-07-31 | Christian Urban | introduced a general alpha_prove method | file | diff | annotate |