2017-09-22 | Christian Urban | updated to Isabelle 2016-1 | file | diff | annotate |
2016-01-06 | zhangx | ExtGG.thy finished, but more comments are needed. | file | diff | annotate |
2014-05-15 | Christian Urban |
simplified the cp_rec proof | file | diff | annotate |
2012-12-06 | Christian Urban |
added | file | diff | annotate |