src/HOL/HoareParallel/RG_Examples.thy
2003-08-29 ballarin 2003-08-29 Methods rule_tac etc support static (Isar) contexts.
2002-09-30 berghofe 2002-09-30 Adapted to new simplifier.
2002-08-23 nipkow 2002-08-23 Added div+mod cancelling simproc
2002-05-30 nipkow 2002-05-30 Modifications due to enhanced linear arithmetic.
2002-05-06 nipkow 2002-05-06 Added insert_disjoint and disjoint_insert [simp], and simplified proofs
2002-04-29 prensani 2002-04-29 added abstract;corrected RG_Basic Hoare rule.
2002-03-05 prensani 2002-03-05 HoareParallel Theories