1 Theories:

     2 =========

     3 

     4  Lexer.thy

     5  Simplifying.thy

     6 

     7 The repository can be checked using Isabelle 2017.

     8 

     9   isabelle build -c -v -d . Lex

    10 

    11   isabelle build -c -v -d . Paper

    12 

    13   isabelle build -c -v -d . Journal

    14 

    15 Other directories are:

    16 =====================

    17 

    18   Paper

    19   Journal

    20   Literature

    21   

    22 

    23 

    24 

    25 

    26 

    27