src/HOL/HoareParallel/OG_Hoare.thy
changeset 14398 c5c47703f763
parent 13601 fd3e3d6b37b2
child 15102 04b0e943fcc9
     1.1 --- a/src/HOL/HoareParallel/OG_Hoare.thy	Thu Feb 19 10:41:32 2004 +0100
     1.2 +++ b/src/HOL/HoareParallel/OG_Hoare.thy	Thu Feb 19 15:57:34 2004 +0100
     1.3 @@ -237,7 +237,6 @@
     1.4    apply simp
     1.5   apply(rule AnnWhile)
     1.6    apply simp_all
     1.7 - apply(fast)
     1.8  --{* Await *}
     1.9  apply(frule ann_hoare_case_analysis,simp)
    1.10  apply clarify