| changeset 308 | 496a37d816e9 |
| parent 265 | d36be1e356c0 |
| 307:ee1caac29bb2 | 308:496a37d816e9 |
|---|---|
2 ========= |
2 ========= |
3 |
3 |
4 Lexer.thy |
4 Lexer.thy |
5 Simplifying.thy |
5 Simplifying.thy |
6 |
6 |
7 The repository can be checked using Isabelle 2016. |
7 The repository can be checked using Isabelle 2017. |
8 |
8 |
9 isabelle build -c -v -d . Lex |
9 isabelle build -c -v -d . Lex |
10 |
10 |
11 isabelle build -c -v -d . Paper |
11 isabelle build -c -v -d . Paper |
12 |
12 |