src/HOL/Bali/Basis.thy
changeset 18576 8d98b7711e47
parent 18447 da548623916a
child 19323 ec5cd5b1804c
     1.1 --- a/src/HOL/Bali/Basis.thy	Wed Jan 04 17:04:11 2006 +0100
     1.2 +++ b/src/HOL/Bali/Basis.thy	Wed Jan 04 19:22:53 2006 +0100
     1.3 @@ -30,8 +30,6 @@
     1.4  declare if_weak_cong [cong del] option.weak_case_cong [cong del]
     1.5  declare length_Suc_conv [iff]
     1.6  
     1.7 -declare not_None_eq [iff]
     1.8 -
     1.9  (*###to be phased out *)
    1.10  ML {*
    1.11  bind_thm ("make_imp", rearrange_prems [1,0] mp)