Skip to content

Commit 43a7236

Browse files
mattrobballmattrobball
committed
remove notes and update author
1 parent 9c65527 commit 43a7236

2 files changed

Lines changed: 1 addition & 38 deletions

File tree

‎Mathlib/Tactic/Basic.lean‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
/-
22
Copyright (c) 2021 Mario Carneiro. All rights reserved.
33
Released under Apache 2.0 license as described in the file LICENSE.
4-
Authors: Mario Carneiro
4+
Authors: Mario Carneiro, Kyle Miller
55
-/
66
import Lean
77
import Std

‎notes.txt‎

Lines changed: 0 additions & 37 deletions
This file was deleted.

0 commit comments

Comments
 (0)