| changeset 18576 | 8d98b7711e47 |
| parent 18447 | da548623916a |
| child 20217 | 25b068a99d2b |
--- a/src/HOL/HoareParallel/RG_Hoare.thy Wed Jan 04 17:04:11 2006 +0100 +++ b/src/HOL/HoareParallel/RG_Hoare.thy Wed Jan 04 19:22:53 2006 +0100 @@ -5,7 +5,6 @@ subsection {* Proof System for Component Programs *} declare Un_subset_iff [iff del] -declare not_None_eq [iff] declare Cons_eq_map_conv[iff] constdefs