--- a/README	Thu Sep 21 14:15:55 2017 +0100
+++ b/README	Thu Sep 21 14:23:42 2017 +0100
@@ -3,9 +3,10 @@
 Theories:
 =========
 
+ Graphs.thy              A relational graph library 
+ RTree                   Rooted tree graphs 
  Max.thy                 Some generic facts about Max.
  Precedence_ord.thy      A theory of precedences.
- Moment.thy              The notion of moment.
  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.
@@ -25,10 +26,10 @@
   Journal:     isabelle build -c -v -d . Journal
   Literature
   
-Test 9
 
 
 
 
 
 
+