author  wenzelm 
Sat, 07 Apr 2012 16:41:59 +0200  
changeset 47389  e8552cba702d 
parent 32621  a073cb249a06 
permissions  rwrr 
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 