--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/thys2/README	Sun Oct 10 18:35:21 2021 +0100
@@ -0,0 +1,27 @@
+Theories:
+=========
+
+ Lexer.thy
+ Simplifying.thy
+
+The repository can be checked using Isabelle 2017.
+
+  isabelle build -c -v -d . Lex
+
+  isabelle build -c -v -d . Paper
+
+  isabelle build -c -v -d . Journal
+
+Other directories are:
+=====================
+
+  Paper
+  Journal
+  Literature
+  
+
+
+
+
+
+