author | wenzelm |
Mon, 15 Feb 2016 14:55:44 +0100 | |
changeset 62337 | d3996d5873dd |
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 |