3 files to be compiled together and then run scala Spiral a b
where a, b are integers to see the time distribution
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