thys2/README
author Christian Urban <christian.urban@kcl.ac.uk>
Wed, 02 Feb 2022 14:52:41 +0000 (2022-02-02)
changeset 405 3cfea5bb5e23
parent 365 ec5e4fe4cc70
permissions -rw-r--r--
updated some of the text and cardinality proof
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