365
|
1 |
Theories:
|
|
2 |
=========
|
|
3 |
|
|
4 |
Lexer.thy
|
|
5 |
Simplifying.thy
|
|
6 |
|
|
7 |
The repository can be checked using Isabelle 2017.
|
|
8 |
|
|
9 |
isabelle build -c -v -d . Lex
|
|
10 |
|
|
11 |
isabelle build -c -v -d . Paper
|
|
12 |
|
|
13 |
isabelle build -c -v -d . Journal
|
|
14 |
|
|
15 |
Other directories are:
|
|
16 |
=====================
|
|
17 |
|
|
18 |
Paper
|
|
19 |
Journal
|
|
20 |
Literature
|
|
21 |
|
|
22 |
|
|
23 |
|
|
24 |
|
|
25 |
|
|
26 |
|
|
27 |
|