| changeset 185 | 841f7b9c0a6a |
| parent 95 | a33d3040bf7e |
| child 218 | 16af5b8bd285 |
| 184:a42c773ec8ab | 185:841f7b9c0a6a |
|---|---|
1 Theories: |
1 Theories: |
2 ========= |
2 ========= |
3 |
3 |
4 ReStar.thy |
4 Lexer.thy |
5 Simplifying.thy |
|
5 |
6 |
6 The repository can be checked using Isabelle 2014. |
7 The repository can be checked using Isabelle 2016. |
7 |
8 |
8 isabelle build -c -v -d . Lex |
9 isabelle build -c -v -d . Lex |
9 |
10 |
10 isabelle build -c -v -d . Paper |
11 isabelle build -c -v -d . Paper |
11 |
12 |