Theories:+− =========+− +− Lexer.thy+− Simplifying.thy+− +− The repository can be checked using Isabelle 2016.+− +− isabelle build -c -v -d . Lex+− +− isabelle build -c -v -d . Paper+− +− isabelle build -c -v -d . Journal+− +− Other directories are:+− =====================+− +− Paper+− Journal+− Literature+− +− +− +− +− +− +− +−