src/HOL/NSA/NSCA.thy

--- a/src/HOL/NSA/NSCA.thy	Wed Dec 30 17:45:18 2015 +0100
+++ b/src/HOL/NSA/NSCA.thy	Wed Dec 30 17:55:43 2015 +0100
@@ -509,7 +509,7 @@
 by (simp add: Infinitesimal_hcmod_iff)
 
 lemma Infinitesimal_hcomplex_of_hypreal_epsilon [simp]:
-     "hcomplex_of_hypreal epsilon \<in> Infinitesimal"
+     "hcomplex_of_hypreal \<epsilon> \<in> Infinitesimal"
 by (simp add: Infinitesimal_hcmod_iff)
 
 end