author | wenzelm |
Sun, 11 Feb 2018 12:51:23 +0100 | |
changeset 67593 | 5efb88c90051 |
parent 32621 | a073cb249a06 |
permissions | -rw-r--r-- |
32621
a073cb249a06
theory entry point for session Hoare_Parallel (now also with proper underscore)
haftmann
parents:
24104
diff
changeset
|
1 |
theory Hoare_Parallel |
a073cb249a06
theory entry point for session Hoare_Parallel (now also with proper underscore)
haftmann
parents:
24104
diff
changeset
|
2 |
imports OG_Examples Gar_Coll Mul_Gar_Coll RG_Examples |
a073cb249a06
theory entry point for session Hoare_Parallel (now also with proper underscore)
haftmann
parents:
24104
diff
changeset
|
3 |
begin |
13020 | 4 |
|
32621
a073cb249a06
theory entry point for session Hoare_Parallel (now also with proper underscore)
haftmann
parents:
24104
diff
changeset
|
5 |
end |