PrioG.thy
2014-05-06 Christian Urban made some modifications.
2012-12-06 Christian Urban made everything working
2012-12-06 Christian Urban added
less more (0) tip