Precedence_ord.thy
2016-01-06 zhangx ExtGG.thy finished, but more comments are needed.
2014-05-15 Christian Urban simplified the cp_rec proof
2012-12-06 Christian Urban added
less more (0) tip