src/HOL/HoareParallel/RG_Examples.thy
2002-04-29 prensani 2002-04-29 added abstract;corrected RG_Basic Hoare rule.
2002-03-05 prensani 2002-03-05 HoareParallel Theories