thys/Pr.thy
2014-12-09 Christian Urban added Pr theory
less more (0) tip