thys2/README
author Chengsong
Mon, 10 Jul 2023 01:33:45 +0100
changeset 660 eddc4eaba7c4
parent 365 ec5e4fe4cc70
permissions -rw-r--r--
addresses Gerog "N_r meaning and relation with backtracking?" comment

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