diff --git a/ImportGraph/Cli.lean b/ImportGraph/Cli.lean index bc0a8dd..deaea7a 100644 --- a/ImportGraph/Cli.lean +++ b/ImportGraph/Cli.lean @@ -1,7 +1,7 @@ /- -Copyright (c) 2023 Scott Morrison. All rights reserved. +Copyright (c) 2023 Kim Morrison. All rights reserved. Released under Apache 2.0 license as described in the file LICENSE. -Authors: Scott Morrison +Authors: Kim Morrison -/ import Cli.Basic import Batteries.Lean.IO.Process diff --git a/ImportGraph/Imports.lean b/ImportGraph/Imports.lean index 5ec6e94..718e950 100644 --- a/ImportGraph/Imports.lean +++ b/ImportGraph/Imports.lean @@ -1,7 +1,7 @@ /- -Copyright (c) 2023 Scott Morrison. All rights reserved. +Copyright (c) 2023 Kim Morrison. All rights reserved. Released under Apache 2.0 license as described in the file LICENSE. -Authors: Scott Morrison +Authors: Kim Morrison -/ import Lean import Batteries.Lean.NameMap diff --git a/ImportGraph/RequiredModules.lean b/ImportGraph/RequiredModules.lean index 3ae567d..2ff85a0 100644 --- a/ImportGraph/RequiredModules.lean +++ b/ImportGraph/RequiredModules.lean @@ -1,7 +1,7 @@ /- -Copyright (c) 2023 Scott Morrison. All rights reserved. +Copyright (c) 2023 Kim Morrison. All rights reserved. Released under Apache 2.0 license as described in the file LICENSE. -Authors: Scott Morrison +Authors: Kim Morrison -/ import Lean diff --git a/README.md b/README.md index 462f14a..bad624d 100644 --- a/README.md +++ b/README.md @@ -36,4 +36,4 @@ There are a few commands implemented, which help you analysing the imports of a ## Credits -This code has been extracted from [mathlib](https://github.com/leanprover-community/mathlib4) and has mainly been written by Scott Morrison and a few other mathlib contributors. +This code has been extracted from [mathlib](https://github.com/leanprover-community/mathlib4) and has mainly been written by Kim Morrison and a few other mathlib contributors.