Mercurial Mercurial > hg > pip / comparison
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.
README
changeset 35 92f61f6a0fe7
parent 29 408ff78ce28f
child 45 fc83f79009bd
equal deleted inserted replaced
34:313acffe63b6 35:92f61f6a0fe7 
     1 Theories:
 
     1 Theories:
 
     2 =========
 
     2 =========
 
     3 
     3 
       
     4  Max.thy                 Some generic facts about Max.
 
     4  Precedence_ord.thy      A theory of precedences.
 
     5  Precedence_ord.thy      A theory of precedences.
 
     5  Moment.thy              The notion of moment.
 
     6  Moment.thy              The notion of moment.
 
     6  PrioGDef.thy            The formal definition of the PIP-model.
 
     7  PrioGDef.thy            The formal definition of the PIP-model.
 
     7  PrioG.thy               Basic properties of the PIP-model.
 
     8  PrioG.thy               Basic properties of the PIP-model.
 
     8  ExtGG.thy               The correctness proof of the PIP-model.
 
     9  ExtGG.thy               The correctness proof of the PIP-model.
 
     9  CpsG.thy                Properties interesting for an implementation.
 
    10  CpsG.thy                Properties interesting for an implementation.
 
       
    11 
    10 
    12 
    11 The repository can be checked using Isabelle 2013-2.
 
    13 The repository can be checked using Isabelle 2013-2.
 
    12 
    14 
    13   isabelle build -d . PIP
 
    15   isabelle build -d . PIP
 
    14 
    16
pip