--- a/README	Tue May 20 12:49:21 2014 +0100
+++ b/README	Thu May 22 17:40:39 2014 +0100
@@ -1,6 +1,7 @@
 Theories:
 =========
 
+ 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.
@@ -8,6 +9,7 @@
  ExtGG.thy               The correctness proof of the PIP-model.
  CpsG.thy                Properties interesting for an implementation.
 
+
 The repository can be checked using Isabelle 2013-2.
 
   isabelle build -d . PIP