diff -r e5bfdd2d1ac8 -r a3b4eed091d2 prio/README
--- a/prio/README	Sun Feb 05 14:29:08 2012 +0000
+++ b/prio/README	Sun Feb 05 21:00:12 2012 +0000
@@ -1,6 +1,14 @@
-Precedence_ord.thy      A theory for precedence.
-Moment.thy              A theory for the notion of moment.
-PrioGDef.thy            The formal definition of the model.
-PrioG.thy               Basic properties of the formal model.
-ExtGG.thy               Formal correctness proof of the formal model.
-CpsG.thy                Properties used to guide implementation.
\ No newline at end of file
+Theories:
+=========
+
+ 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.
+
+The repository can be checked using Isabelle 2011-1.
+
+  isabelle make session
+