Precedence_ord.thy
2017-09-22 Christian Urban updated to Isabelle 2016-1
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