Remove obsolete cvs-era $Header$ keywords.

2024-10-04 01:17:40 +03:00 · 2018-03-22 13:33:12 -07:00 · 2018-03-22 13:33:12 -07:00 · fccf55f30f
commit fccf55f30f
parent c1949586c2
89 changed files with 89 additions and 90 deletions
--- a/Setup.hs
+++ b/Setup.hs
@ -1,5 +1,5 @@
 -- |
-- Module      :  $Header$
+-- Module      :  Main
 -- Copyright   :  (c) 2013-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/bench/Main.hs
+++ b/bench/Main.hs
@ -1,5 +1,5 @@
 -- |
-- Module      :  $Header$
+-- Module      :  Main
 -- Copyright   :  (c) 2015-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/cryptol-server/Cryptol/Aeson.hs
+++ b/cryptol-server/Cryptol/Aeson.hs
@ -1,5 +1,5 @@
 -- |
-- Module      :  $Header$
+-- Module      :  Cryptol.Aeson
 -- Copyright   :  (c) 2015-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/cryptol-server/Main.hs
+++ b/cryptol-server/Main.hs
@ -1,5 +1,5 @@
 -- |
-- Module      :  $Header$
+-- Module      :  Main
 -- Copyright   :  (c) 2015-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/cryptol/Main.hs
+++ b/cryptol/Main.hs
@ -1,5 +1,5 @@
 -- |
-- Module      :  $Header$
+-- Module      :  Main
 -- Copyright   :  (c) 2013-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/cryptol/OptParser.hs
+++ b/cryptol/OptParser.hs
@ -1,5 +1,5 @@
 -- |
-- Module      :  $Header$
+-- Module      :  OptParser
 -- Copyright   :  (c) 2013-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/cryptol/REPL/Haskeline.hs
+++ b/cryptol/REPL/Haskeline.hs
@ -1,5 +1,5 @@
 -- |
-- Module      :  $Header$
+-- Module      :  REPL.Haskeline
 -- Copyright   :  (c) 2013-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/cryptol/REPL/Logo.hs
+++ b/cryptol/REPL/Logo.hs
@ -1,5 +1,5 @@
 -- |
-- Module      :  $Header$
+-- Module      :  REPL.Logo
 -- Copyright   :  (c) 2013-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/docs/ProgrammingCryptol/tools/compileProgrammingCryptol.hs
+++ b/docs/ProgrammingCryptol/tools/compileProgrammingCryptol.hs
@ -1,5 +1,5 @@
 -- |
-- Module      :  $Header$
+-- Module      :  Main
 -- Copyright   :  (c) 2013-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/docs/ProgrammingCryptol/tools/genAlph.hs
+++ b/docs/ProgrammingCryptol/tools/genAlph.hs
@ -1,5 +1,5 @@
 -- |
-- Module      :  $Header$
+-- Module      :  GenAlph
 -- Copyright   :  (c) 2013-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/docs/chop.hs
+++ b/docs/chop.hs
@ -1,7 +1,7 @@
 #!/usr/bin/env runhaskell

 -- |
-- Module      :  $Header$
+-- Module      :  Main
 -- Copyright   :  (c) 2013-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/src/Cryptol/Eval.hs
+++ b/src/Cryptol/Eval.hs
@ -1,5 +1,5 @@
 -- |
-- Module      :  $Header$
+-- Module      :  Cryptol.Eval
 -- Copyright   :  (c) 2013-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/src/Cryptol/Eval/Arch.hs
+++ b/src/Cryptol/Eval/Arch.hs
@ -1,5 +1,5 @@
 -- |
-- Module      :  $Header$
+-- Module      :  Cryptol.Eval.Arch
 -- Copyright   :  (c) 2014-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/src/Cryptol/Eval/Env.hs
+++ b/src/Cryptol/Eval/Env.hs
@ -1,5 +1,5 @@
 -- |
-- Module      :  $Header$
+-- Module      :  Cryptol.Eval.Env
 -- Copyright   :  (c) 2013-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/src/Cryptol/Eval/Monad.hs
+++ b/src/Cryptol/Eval/Monad.hs
@ -1,5 +1,5 @@
 -- |
-- Module      :  $Header$
+-- Module      :  Cryptol.Eval.Monad
 -- Copyright   :  (c) 2013-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/src/Cryptol/Eval/Reference.lhs
+++ b/src/Cryptol/Eval/Reference.lhs
@ -1,5 +1,5 @@
 > -- |
-> -- Module      :  $Header$
+> -- Module      :  Cryptol.Eval.Reference
 > -- Description :  The reference implementation of the Cryptol evaluation semantics.
 > -- Copyright   :  (c) 2013-2016 Galois, Inc.
 > -- License     :  BSD3
--- a/src/Cryptol/Eval/Type.hs
+++ b/src/Cryptol/Eval/Type.hs
@ -1,5 +1,5 @@
 -- |
-- Module      :  $Header$
+-- Module      :  Cryptol.Eval.Type
 -- Copyright   :  (c) 2013-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/src/Cryptol/Eval/Value.hs
+++ b/src/Cryptol/Eval/Value.hs
@ -1,5 +1,5 @@
 -- |
-- Module      :  $Header$
+-- Module      :  Cryptol.Eval.Value
 -- Copyright   :  (c) 2013-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/src/Cryptol/ModuleSystem.hs
+++ b/src/Cryptol/ModuleSystem.hs
@ -1,5 +1,5 @@
 -- |
-- Module      :  $Header$
+-- Module      :  Cryptol.ModuleSystem
 -- Copyright   :  (c) 2013-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/src/Cryptol/ModuleSystem/Base.hs
+++ b/src/Cryptol/ModuleSystem/Base.hs
@ -1,6 +1,5 @@
-
 -- |
-- Module      :  $Header$
+-- Module      :  Cryptol.ModuleSystem.Base
 -- Copyright   :  (c) 2013-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/src/Cryptol/ModuleSystem/Env.hs
+++ b/src/Cryptol/ModuleSystem/Env.hs
@ -1,5 +1,5 @@
 -- |
-- Module      :  $Header$
+-- Module      :  Cryptol.ModuleSystem.Env
 -- Copyright   :  (c) 2013-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/src/Cryptol/ModuleSystem/Interface.hs
+++ b/src/Cryptol/ModuleSystem/Interface.hs
@ -1,5 +1,5 @@
 -- |
-- Module      :  $Header$
+-- Module      :  Cryptol.ModuleSystem.Interface
 -- Copyright   :  (c) 2013-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/src/Cryptol/ModuleSystem/Monad.hs
+++ b/src/Cryptol/ModuleSystem/Monad.hs
@ -1,5 +1,5 @@
 -- |
-- Module      :  $Header$
+-- Module      :  Cryptol.ModuleSystem.Monad
 -- Copyright   :  (c) 2013-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/src/Cryptol/ModuleSystem/Name.hs
+++ b/src/Cryptol/ModuleSystem/Name.hs
@ -1,5 +1,5 @@
 -- |
-- Module      :  $Header$
+-- Module      :  Cryptol.ModuleSystem.Name
 -- Copyright   :  (c) 2015-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/src/Cryptol/ModuleSystem/NamingEnv.hs
+++ b/src/Cryptol/ModuleSystem/NamingEnv.hs
@ -1,5 +1,5 @@
 -- |
-- Module      :  $Header$
+-- Module      :  Cryptol.ModuleSystem.NamingEnv
 -- Copyright   :  (c) 2013-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/src/Cryptol/ModuleSystem/Renamer.hs
+++ b/src/Cryptol/ModuleSystem/Renamer.hs
@ -1,5 +1,5 @@
 -- |
-- Module      :  $Header$
+-- Module      :  Cryptol.ModuleSystem.Renamer
 -- Copyright   :  (c) 2013-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/src/Cryptol/Parser.y
+++ b/src/Cryptol/Parser.y
@ -1,6 +1,6 @@
 {
 -- |
-- Module      :  $Header$
+-- Module      :  Cryptol.Parser
 -- Copyright   :  (c) 2013-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/src/Cryptol/Parser/AST.hs
+++ b/src/Cryptol/Parser/AST.hs
@ -1,5 +1,5 @@
 -- |
-- Module      :  $Header$
+-- Module      :  Cryptol.Parser.AST
 -- Copyright   :  (c) 2013-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/src/Cryptol/Parser/Lexer.x
+++ b/src/Cryptol/Parser/Lexer.x
@ -1,6 +1,6 @@
 {
 -- |
-- Module      :  $Header$
+-- Module      :  Cryptol.Parser.Lexer
 -- Copyright   :  (c) 2013-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/src/Cryptol/Parser/LexerUtils.hs
+++ b/src/Cryptol/Parser/LexerUtils.hs
@ -1,5 +1,5 @@
 -- |
-- Module      :  $Header$
+-- Module      :  Cryptol.Parser.LexerUtils
 -- Copyright   :  (c) 2013-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/src/Cryptol/Parser/Name.hs
+++ b/src/Cryptol/Parser/Name.hs
@ -1,5 +1,5 @@
 -- |
-- Module      :  $Header$
+-- Module      :  Cryptol.Parser.Name
 -- Copyright   :  (c) 2015-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/src/Cryptol/Parser/Names.hs
+++ b/src/Cryptol/Parser/Names.hs
@ -1,5 +1,5 @@
 -- |
-- Module      :  $Header$
+-- Module      :  Cryptol.Parser.Names
 -- Copyright   :  (c) 2013-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/src/Cryptol/Parser/NoInclude.hs
+++ b/src/Cryptol/Parser/NoInclude.hs
@ -1,5 +1,5 @@
 -- |
-- Module      :  $Header$
+-- Module      :  Cryptol.Parser.NoInclude
 -- Copyright   :  (c) 2013-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/src/Cryptol/Parser/NoPat.hs
+++ b/src/Cryptol/Parser/NoPat.hs
@ -1,5 +1,5 @@
 -- |
-- Module      :  $Header$
+-- Module      :  Cryptol.Parser.NoPat
 -- Copyright   :  (c) 2013-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/src/Cryptol/Parser/ParserUtils.hs
+++ b/src/Cryptol/Parser/ParserUtils.hs
@ -1,5 +1,5 @@
 -- |
-- Module      :  $Header$
+-- Module      :  Cryptol.Parser.ParserUtils
 -- Copyright   :  (c) 2013-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/src/Cryptol/Parser/Position.hs
+++ b/src/Cryptol/Parser/Position.hs
@ -1,5 +1,5 @@
 -- |
-- Module      :  $Header$
+-- Module      :  Cryptol.Parser.Position
 -- Copyright   :  (c) 2013-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/src/Cryptol/Parser/Unlit.hs
+++ b/src/Cryptol/Parser/Unlit.hs
@ -1,5 +1,5 @@
 -- |
-- Module      :  $Header$
+-- Module      :  Cryptol.Parser.Unlit
 -- Copyright   :  (c) 2013-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/src/Cryptol/Parser/Utils.hs
+++ b/src/Cryptol/Parser/Utils.hs
@ -1,5 +1,5 @@
 -- |
-- Module      :  $Header$
+-- Module      :  Cryptol.Parser.Utils
 -- Copyright   :  (c) 2013-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/src/Cryptol/Prelude.hs
+++ b/src/Cryptol/Prelude.hs
@ -1,5 +1,5 @@
 -- |
-- Module      :  $Header$
+-- Module      :  Cryptol.Prelude
 -- Copyright   :  (c) 2015-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/src/Cryptol/Prims/Eval.hs
+++ b/src/Cryptol/Prims/Eval.hs
@ -1,5 +1,5 @@
 -- |
-- Module      :  $Header$
+-- Module      :  Cryptol.Prims.Eval
 -- Copyright   :  (c) 2013-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/src/Cryptol/Prims/Syntax.hs
+++ b/src/Cryptol/Prims/Syntax.hs
@ -1,5 +1,5 @@
 -- |
-- Module      :  $Header$
+-- Module      :  Cryptol.Prims.Syntax
 -- Copyright   :  (c) 2013-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/src/Cryptol/REPL/Command.hs
+++ b/src/Cryptol/REPL/Command.hs
@ -1,5 +1,5 @@
 -- |
-- Module      :  $Header$
+-- Module      :  Cryptol.REPL.Command
 -- Copyright   :  (c) 2013-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/src/Cryptol/REPL/Monad.hs
+++ b/src/Cryptol/REPL/Monad.hs
@ -1,5 +1,5 @@
 -- |
-- Module      :  $Header$
+-- Module      :  Cryptol.REPL.Monad
 -- Copyright   :  (c) 2013-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/src/Cryptol/REPL/Trie.hs
+++ b/src/Cryptol/REPL/Trie.hs
@ -1,5 +1,5 @@
 -- |
-- Module      :  $Header$
+-- Module      :  Cryptol.REPL.Trie
 -- Copyright   :  (c) 2013-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/src/Cryptol/Symbolic.hs
+++ b/src/Cryptol/Symbolic.hs
@ -1,5 +1,5 @@
 -- |
-- Module      :  $Header$
+-- Module      :  Cryptol.Symbolic
 -- Copyright   :  (c) 2013-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/src/Cryptol/Symbolic/Prims.hs
+++ b/src/Cryptol/Symbolic/Prims.hs
@ -1,5 +1,5 @@
 -- |
-- Module      :  $Header$
+-- Module      :  Cryptol.Symbolic.Prims
 -- Copyright   :  (c) 2013-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/src/Cryptol/Symbolic/Value.hs
+++ b/src/Cryptol/Symbolic/Value.hs
@ -1,5 +1,5 @@
 -- |
-- Module      :  $Header$
+-- Module      :  Cryptol.Symbolic.Value
 -- Copyright   :  (c) 2013-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/src/Cryptol/Testing/Concrete.hs
+++ b/src/Cryptol/Testing/Concrete.hs
@ -1,5 +1,5 @@
 -- |
-- Module      :  $Header$
+-- Module      :  Cryptol.Testing.Concrete
 -- Copyright   :  (c) 2013-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/src/Cryptol/Testing/Random.hs
+++ b/src/Cryptol/Testing/Random.hs
@ -1,5 +1,5 @@
 -- |
-- Module      :  $Header$
+-- Module      :  Cryptol.Testing.Random
 -- Copyright   :  (c) 2013-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/src/Cryptol/Transform/MonoValues.hs
+++ b/src/Cryptol/Transform/MonoValues.hs
@ -1,5 +1,5 @@
 -- |
-- Module      :  $Header$
+-- Module      :  Cryptol.Transform.MonoValues
 -- Copyright   :  (c) 2013-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/src/Cryptol/Transform/Specialize.hs
+++ b/src/Cryptol/Transform/Specialize.hs
@ -1,5 +1,5 @@
 -- |
-- Module      :  $Header$
+-- Module      :  Cryptol.Transform.Specialize
 -- Copyright   :  (c) 2013-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/src/Cryptol/TypeCheck.hs
+++ b/src/Cryptol/TypeCheck.hs
@ -1,5 +1,5 @@
 -- |
-- Module      :  $Header$
+-- Module      :  Cryptol.TypeCheck
 -- Copyright   :  (c) 2013-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/src/Cryptol/TypeCheck/AST.hs
+++ b/src/Cryptol/TypeCheck/AST.hs
@ -1,5 +1,5 @@
 -- |
-- Module      :  $Header$
+-- Module      :  Cryptol.TypeCheck.AST
 -- Copyright   :  (c) 2013-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/src/Cryptol/TypeCheck/Depends.hs
+++ b/src/Cryptol/TypeCheck/Depends.hs
@ -1,5 +1,5 @@
 -- |
-- Module      :  $Header$
+-- Module      :  Cryptol.TypeCheck.Depends
 -- Copyright   :  (c) 2013-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/src/Cryptol/TypeCheck/Infer.hs
+++ b/src/Cryptol/TypeCheck/Infer.hs
@ -1,5 +1,5 @@
 -- |
-- Module      :  $Header$
+-- Module      :  Cryptol.TypeCheck.Infer
 -- Copyright   :  (c) 2013-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/src/Cryptol/TypeCheck/InferTypes.hs
+++ b/src/Cryptol/TypeCheck/InferTypes.hs
@ -1,5 +1,5 @@
 -- |
-- Module      :  $Header$
+-- Module      :  Cryptol.TypeCheck.InferTypes
 -- Copyright   :  (c) 2013-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/src/Cryptol/TypeCheck/Instantiate.hs
+++ b/src/Cryptol/TypeCheck/Instantiate.hs
@ -1,5 +1,5 @@
 -- |
-- Module      :  $Header$
+-- Module      :  Cryptol.TypeCheck.Instantiate
 -- Copyright   :  (c) 2013-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/src/Cryptol/TypeCheck/Kind.hs
+++ b/src/Cryptol/TypeCheck/Kind.hs
@ -1,5 +1,5 @@
 -- |
-- Module      :  $Header$
+-- Module      :  Cryptol.TypeCheck.Kind
 -- Copyright   :  (c) 2013-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/src/Cryptol/TypeCheck/Monad.hs
+++ b/src/Cryptol/TypeCheck/Monad.hs
@ -1,5 +1,5 @@
 -- |
-- Module      :  $Header$
+-- Module      :  Cryptol.TypeCheck.Monad
 -- Copyright   :  (c) 2013-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/src/Cryptol/TypeCheck/PP.hs
+++ b/src/Cryptol/TypeCheck/PP.hs
@ -1,5 +1,5 @@
 -- |
-- Module      :  $Header$
+-- Module      :  Cryptol.TypeCheck.PP
 -- Copyright   :  (c) 2013-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/src/Cryptol/TypeCheck/Parseable.hs
+++ b/src/Cryptol/TypeCheck/Parseable.hs
@ -1,5 +1,5 @@
 -- |
-- Module      :  $Header$
+-- Module      :  Cryptol.TypeCheck.Parseable
 -- Copyright   :  (c) 2013-2017 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/src/Cryptol/TypeCheck/Sanity.hs
+++ b/src/Cryptol/TypeCheck/Sanity.hs
@ -1,5 +1,5 @@
 -- |
-- Module      :  $Header$
+-- Module      :  Cryptol.TypeCheck.Sanity
 -- Copyright   :  (c) 2015-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/src/Cryptol/TypeCheck/Solve.hs
+++ b/src/Cryptol/TypeCheck/Solve.hs
@ -1,5 +1,5 @@
 -- |
-- Module      :  $Header$
+-- Module      :  Cryptol.TypeCheck.Solve
 -- Copyright   :  (c) 2013-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/src/Cryptol/TypeCheck/Solver/Class.hs
+++ b/src/Cryptol/TypeCheck/Solver/Class.hs
@ -1,5 +1,5 @@
 -- |
-- Module      :  $Header$
+-- Module      :  Cryptol.TypeCheck.Solver.Class
 -- Copyright   :  (c) 2013-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/src/Cryptol/TypeCheck/Solver/InfNat.hs
+++ b/src/Cryptol/TypeCheck/Solver/InfNat.hs
@ -1,5 +1,5 @@
 -- |
-- Module      :  $Header$
+-- Module      :  Cryptol.TypeCheck.Solver.InfNat
 -- Copyright   :  (c) 2013-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/src/Cryptol/TypeCheck/Solver/Numeric/Fin.hs
+++ b/src/Cryptol/TypeCheck/Solver/Numeric/Fin.hs
@ -1,5 +1,5 @@
 -- |
-- Module      :  $Header$
+-- Module      :  Cryptol.TypeCheck.Solver.Numeric.Fin
 -- Copyright   :  (c) 2015-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs
+++ b/src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs
@ -1,5 +1,5 @@
 -- |
-- Module      :  $Header$
+-- Module      :  Cryptol.TypeCheck.Solver.Numeric.Interval
 -- Copyright   :  (c) 2015-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/src/Cryptol/TypeCheck/Solver/SMT.hs
+++ b/src/Cryptol/TypeCheck/Solver/SMT.hs
@ -1,5 +1,5 @@
 -- |
-- Module      :  $Header$
+-- Module      :  Cryptol.TypeCheck.Solver.SMT
 -- Copyright   :  (c) 2013-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/src/Cryptol/TypeCheck/Solver/Selector.hs
+++ b/src/Cryptol/TypeCheck/Solver/Selector.hs
@ -1,5 +1,5 @@
 -- |
-- Module      :  $Header$
+-- Module      :  Cryptol.TypeCheck.Solver.Selector
 -- Copyright   :  (c) 2013-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/src/Cryptol/TypeCheck/Solver/Utils.hs
+++ b/src/Cryptol/TypeCheck/Solver/Utils.hs
@ -1,5 +1,5 @@
 -- |
-- Module      :  $Header$
+-- Module      :  Cryptol.TypeCheck.Solver.Utils
 -- Copyright   :  (c) 2013-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/src/Cryptol/TypeCheck/Subst.hs
+++ b/src/Cryptol/TypeCheck/Subst.hs
@ -1,5 +1,5 @@
 -- |
-- Module      :  $Header$
+-- Module      :  Cryptol.TypeCheck.Subst
 -- Copyright   :  (c) 2013-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/src/Cryptol/TypeCheck/TypeMap.hs
+++ b/src/Cryptol/TypeCheck/TypeMap.hs
@ -1,5 +1,5 @@
 -- |
-- Module      :  $Header$
+-- Module      :  Cryptol.TypeCheck.TypeMap
 -- Copyright   :  (c) 2013-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/src/Cryptol/TypeCheck/TypeOf.hs
+++ b/src/Cryptol/TypeCheck/TypeOf.hs
@ -1,5 +1,5 @@
 -- |
-- Module      :  $Header$
+-- Module      :  Cryptol.TypeCheck.TypeOf
 -- Copyright   :  (c) 2014-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/src/Cryptol/TypeCheck/Unify.hs
+++ b/src/Cryptol/TypeCheck/Unify.hs
@ -1,5 +1,5 @@
 -- |
-- Module      :  $Header$
+-- Module      :  Cryptol.TypeCheck.Unify
 -- Copyright   :  (c) 2013-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/src/Cryptol/Utils/Debug.hs
+++ b/src/Cryptol/Utils/Debug.hs
@ -1,5 +1,5 @@
 -- |
-- Module      :  $Header$
+-- Module      :  Cryptol.Utils.Debug
 -- Copyright   :  (c) 2013-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/src/Cryptol/Utils/Ident.hs
+++ b/src/Cryptol/Utils/Ident.hs
@ -1,5 +1,5 @@
 -- |
-- Module      :  $Header$
+-- Module      :  Cryptol.Utils.Ident
 -- Copyright   :  (c) 2015-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/src/Cryptol/Utils/Misc.hs
+++ b/src/Cryptol/Utils/Misc.hs
@ -1,5 +1,5 @@
 -- |
-- Module      :  $Header$
+-- Module      :  Cryptol.Utils.Misc
 -- Copyright   :  (c) 2014-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/src/Cryptol/Utils/PP.hs
+++ b/src/Cryptol/Utils/PP.hs
@ -1,5 +1,5 @@
 -- |
-- Module      :  $Header$
+-- Module      :  Cryptol.Utils.PP
 -- Copyright   :  (c) 2013-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/src/Cryptol/Utils/Panic.hs
+++ b/src/Cryptol/Utils/Panic.hs
@ -1,5 +1,5 @@
 -- |
-- Module      :  $Header$
+-- Module      :  Cryptol.Utils.Panic
 -- Copyright   :  (c) 2013-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/src/Cryptol/Version.hs
+++ b/src/Cryptol/Version.hs
@ -1,5 +1,5 @@
 -- |
-- Module      :  $Header$
+-- Module      :  Cryptol.Version
 -- Copyright   :  (c) 2013-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/src/GitRev.hs
+++ b/src/GitRev.hs
@ -1,5 +1,5 @@
 -- |
-- Module      :  $Header$
+-- Module      :  GitRev
 -- Copyright   :  (c) 2014-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/tests/Main.hs
+++ b/tests/Main.hs
@ -1,5 +1,5 @@
 -- |
-- Module      :  $Header$
+-- Module      :  Main
 -- Copyright   :  (c) 2013-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/tests/parser/RunLexer.hs
+++ b/tests/parser/RunLexer.hs
@ -1,5 +1,5 @@
 -- |
-- Module      :  $Header$
+-- Module      :  Main
 -- Copyright   :  (c) 2013-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/tests/parser/RunTests.hs
+++ b/tests/parser/RunTests.hs
@ -1,5 +1,5 @@
 -- |
-- Module      :  $Header$
+-- Module      :  Main
 -- Copyright   :  (c) 2013-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/utils/CryAST.hs
+++ b/utils/CryAST.hs
@ -1,7 +1,7 @@
 #!/usr/bin/env runhaskell

 -- |
-- Module      :  $Header$
+-- Module      :  Main
 -- Copyright   :  (c) 2013-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/utils/CryHtml.hs
+++ b/utils/CryHtml.hs
@ -3,7 +3,7 @@
 {-# LANGUAGE OverloadedStrings #-}

 -- |
-- Module      :  $Header$
+-- Module      :  Main
 -- Copyright   :  (c) 2013-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/utils/CryNoPat.hs
+++ b/utils/CryNoPat.hs
@ -1,7 +1,7 @@
 #!/usr/bin/env runhaskell

 -- |
-- Module      :  $Header$
+-- Module      :  Main
 -- Copyright   :  (c) 2013-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/utils/CryPP.hs
+++ b/utils/CryPP.hs
@ -1,7 +1,7 @@
 #!/usr/bin/env runhaskell

 -- |
-- Module      :  $Header$
+-- Module      :  Main
 -- Copyright   :  (c) 2013-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com
--- a/utils/CryTC.hs
+++ b/utils/CryTC.hs
@ -1,7 +1,7 @@
 #!/usr/bin/env runhaskell

 -- |
-- Module      :  $Header$
+-- Module      :  Main
 -- Copyright   :  (c) 2013-2016 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  cryptol@galois.com