# HG changeset patch
# User zhang
# Date 1328452148 0
# Node ID e5bfdd2d1ac827275e73b4d0eb87e0672ec9f23a
# Parent  c91c2dd0859991546e16b52f33e748868d32d7d4
README added.

diff -r c91c2dd08599 -r e5bfdd2d1ac8 prio/README
--- /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