
diff -r e4abb5235c5e -r b7ef9090feed 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"




