--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/prio/README	Sun Feb 05 14:29:08 2012 +0000
@@ -0,0 +1,6 @@
+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