# HG changeset patch # User wenzelm # Date 1469984961 -7200 # Node ID aee0d92995b69f307d1b7b6087b3ac639f1f6955 # Parent 1826a90b9cbc2e5729895a318dfaf40e0f160d69 clarified imports; diff -r 1826a90b9cbc -r aee0d92995b6 src/HOL/Complex_Main.thy --- a/src/HOL/Complex_Main.thy Sun Jul 31 18:05:20 2016 +0200 +++ b/src/HOL/Complex_Main.thy Sun Jul 31 19:09:21 2016 +0200 @@ -2,12 +2,8 @@ theory Complex_Main imports - Main - Real Complex - Transcendental MacLaurin - Deriv begin end