prio/Precedence_ord.thy
2012-02-13 zhang Line numbers added.
2012-01-24 urbanc initial version of the PIP formalisation
less more (0) tip