src/HOL/Relation.thy
changeset 56085 3d11892ea537
parent 55414 eab03e9cee8a
child 56218 1c3f1f2431f9
     1.1 --- a/src/HOL/Relation.thy	Thu Mar 13 13:18:13 2014 +0100
     1.2 +++ b/src/HOL/Relation.thy	Thu Mar 13 13:18:13 2014 +0100
     1.3 @@ -1135,7 +1135,4 @@
     1.4      (auto simp: comp_fun_commute.fold_insert comp_fun_commute_relcomp_fold insert_relcomp_fold
     1.5        cong: if_cong)
     1.6  
     1.7 -
     1.8 -
     1.9  end
    1.10 -