1 Theories:

     3 Theories:

     2 =========

     4 =========

     3 

     5 

     4  Max.thy                 Some generic facts about Max.

     6  Max.thy                 Some generic facts about Max.

     5  Precedence_ord.thy      A theory of precedences.

     7  Precedence_ord.thy      A theory of precedences.

    21   Slides

    23   Slides

    22   Paper

    24   Paper

    23   Journal:     isabelle build -c -v -d . Journal

    25   Journal:     isabelle build -c -v -d . Journal

    24   Literature

    26   Literature

    25   

    27   

    27 

    29 

    28 

    30 

    29 

    31 

    30 

    32 

    31 

    33