| changeset 379 | 8c4b6fb43ebe |
| child 391 | 5c283ecefda6 |
| 378:a0bcf886b8ef | 379:8c4b6fb43ebe |
|---|---|
1 session Myhill in "Journal" = HOL + |
|
2 options [document = false] |
|
3 theories |
|
4 "../Folds" |
|
5 "../Regular_Set" |
|
6 "../Regular_Exp" |
|
7 "../Derivatives" |
|
8 "../Myhill_1" |
|
9 "../Myhill_2" |
|
10 "../Myhill" |
|
11 "../Closures" |
|
12 "../Closures2" |
|
13 "../Attic/Prefix_subtract" |
|
14 |
|
15 |
|
16 session Journal in "Journal" = Myhill + |
|
17 options [document = pdf, document_output = "..", document_variants = "journal"] |
|
18 theories |
|
19 "Paper" |
|
20 |