Mercurial Mercurial > hg > regexp / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
prio/README
changeset 282 a3b4eed091d2
parent 281 e5bfdd2d1ac8 
--- a/prio/README	Sun Feb 05 14:29:08 2012 +0000
+++ b/prio/README	Sun Feb 05 21:00:12 2012 +0000
@@ -1,6 +1,14 @@
-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
+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
+
regexp