src/HOL/Analysis/Gamma_Function.thy

--- a/src/HOL/Analysis/Gamma_Function.thy	Thu Apr 25 10:19:48 2019 +0200
+++ b/src/HOL/Analysis/Gamma_Function.thy	Fri Apr 26 16:51:40 2019 +0100
@@ -5,8 +5,9 @@
 section \<open>The Gamma Function\<close>
 
 theory Gamma_Function
-imports
+  imports
   Conformal_Mappings
+  Equivalence_Lebesgue_Henstock_Integration
   Summation_Tests
   Harmonic_Numbers
   "HOL-Library.Nonpos_Ints"