src/HOL/Hoare_Parallel/RG_Com.thy
2011-03-30 wenzelm 2011-03-30 modernized specifications;
2009-09-21 haftmann 2009-09-21 theory entry point for session Hoare_Parallel (now also with proper underscore)