--- a/src/HOL/Hyperreal/SEQ.thy Fri Sep 16 16:07:22 2005 +0200
+++ b/src/HOL/Hyperreal/SEQ.thy Fri Sep 16 20:30:44 2005 +0200
@@ -6,6 +6,8 @@
Additional contributions by Jeremy Avigad
*)
+header {* Sequences and Series *}
+
theory SEQ
imports NatStar
begin