| Mon, 26 Apr 2010 20:17:41 +0200 | Christian Urban | some changes to the paper | file | diff | annotate |
| Mon, 26 Apr 2010 08:19:11 +0200 | Christian Urban | eliminated command so that all compiles | file | diff | annotate |
| Mon, 26 Apr 2010 08:08:20 +0200 | Christian Urban | changed theorem_i to theorem....requires new Isabelle | file | diff | annotate |