# HG changeset patch
# User nipkow
# Date 1547480836 -3600
# Node ID dbffe5f52ec215de0f5be7190729879c67ee0274
# Parent  2b56cbb02e8ab2e1417f1bf99aafe6bc1473b8f1
tuned

diff -r 2b56cbb02e8a -r dbffe5f52ec2 src/HOL/Analysis/Tagged_Division.thy
--- a/src/HOL/Analysis/Tagged_Division.thy	Mon Jan 14 16:10:56 2019 +0100
+++ b/src/HOL/Analysis/Tagged_Division.thy	Mon Jan 14 16:47:16 2019 +0100
@@ -4,7 +4,7 @@
 *)
 
 section \<open>Tagged Divisions for Henstock-Kurzweil Integration\<close>
-(*FIXME move together with Henstock_Kurzweil_Integration.thy  *)
+
 theory Tagged_Division
   imports Topology_Euclidean_Space
 begin