src/HOL/Hoare_Parallel/RG_Tran.thy
2009-09-21 haftmann 2009-09-21 theory entry point for session Hoare_Parallel (now also with proper underscore)