prio/PrioG.thy
2012-02-09 urbanc more on the specification section
less more (0) -1 tip