--- a/src/HOL/Multivariate_Analysis/Complex_Transcendental.thy Fri Nov 20 12:22:50 2015 +0100
+++ b/src/HOL/Multivariate_Analysis/Complex_Transcendental.thy Fri Nov 20 14:44:53 2015 +0000
@@ -1,9 +1,7 @@
-(* Author: John Harrison
- Ported from "hol_light/Multivariate/transcendentals.ml" by L C Paulson (2015)
-*)
-
section \<open>Complex Transcendental Functions\<close>
+text\<open>By John Harrison et al. Ported from HOL Light by L C Paulson (2015)\<close>
+
theory Complex_Transcendental
imports Complex_Analysis_Basics
begin