diff -r 2c56b20032a7 -r 0679a84b11ad prio/README
--- a/prio/README	Mon Dec 03 08:16:58 2012 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,14 +0,0 @@
-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
-