thys/README
author Chengsong
Fri, 13 Sep 2019 15:39:11 +0100
changeset 354 97741a7b8b37
parent 308 496a37d816e9
permissions -rw-r--r--
marked by QUESTION

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