Theories:+− =========+− +− ReStar.thy+− +− The repository can be checked using Isabelle 2014.+− +− isabelle build -c -v -d . Lex+− +− isabelle build -c -v -d . Paper+− +− Othe directories are:+− =====================+− +− Paper+− Literature+− +− +− +− +− +− +− +−