PrioGDef.thy
2014-05-22 Christian Urban added a bit more text to the paper and separated a theory about Max
2014-05-15 Christian Urban simplified the cp_rec proof
2014-05-06 Christian Urban made some modifications.
2012-12-22 Christian Urban updated
2012-12-06 Christian Urban added
less more (0) tip