author | Christian Sternagel |
Thu, 30 Aug 2012 15:44:03 +0900 | |
changeset 49093 | fdc301f592c4 |
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 |