diff -r b620a2a0806a -r b4bcd1edbb6d README --- a/README Wed Jan 06 20:46:14 2016 +0800 +++ b/README Wed Jan 06 16:34:26 2016 +0000 @@ -4,10 +4,10 @@ Max.thy Some generic facts about Max. Precedence_ord.thy A theory of precedences. Moment.thy The notion of moment. - PrioGDef.thy The formal definition of the PIP-model. - PrioG.thy Basic properties of the PIP-model. - ExtGG.thy The correctness proof of the PIP-model. - CpsG.thy Properties interesting for an implementation. + PIPDefs.thy The formal definition of the PIP-model. + PIPBasics.thy Basic properties of the PIP-model. + Correctness.thy The correctness proof of the PIP-model. + Implementation.thy Properties interesting for an implementation. The repository can be checked using Isabelle 2013-2.