Scott Morrison 8b8e001794 chore: add missing copyright headers (#3411)		2024-02-20 01:49:55 +00:00
..
Basic.lean	chore: add missing copyright headers (#3411)	2024-02-20 01:49:55 +00:00
Builtin.lean	chore: add missing copyright headers (#3411)	2024-02-20 01:49:55 +00:00
Deprecated.lean	perf: add prelude to all Lean modules	2024-02-18 14:55:17 -08:00
MissingDocs.lean	chore: add missing copyright headers (#3411)	2024-02-20 01:49:55 +00:00
UnusedVariables.lean	chore: add missing copyright headers (#3411)	2024-02-20 01:49:55 +00:00
Util.lean	chore: add missing copyright headers (#3411)	2024-02-20 01:49:55 +00:00