1 Theories:

     2 =========

     3 

     4  ReStar.thy

     5 

     6 The repository can be checked using Isabelle 2014.

     7 

     8   isabelle build -c -v -d . Lex

     9 

    10   isabelle build -c -v -d . Paper

    11 

    12 Othe directories are:

    13 =====================

    14 

    15   Paper

    16   Literature

    17   

    18 

    19 

    20 

    21 

    22 

    23