| changeset 58878 | f962e42e324d |
| parent 39302 | d7728f65b353 |
| child 61609 | 77b453bd616f |
--- a/src/HOL/NSA/NatStar.thy Sun Nov 02 17:09:04 2014 +0100 +++ b/src/HOL/NSA/NatStar.thy Sun Nov 02 17:13:28 2014 +0100 @@ -5,7 +5,7 @@ Converted to Isar and polished by lcp *) -header{*Star-transforms for the Hypernaturals*} +section{*Star-transforms for the Hypernaturals*} theory NatStar imports Star