chore: update stage0

leanprover · Aug 4, 2021 · 9988264 · 9988264
1 parent 257e383
commit 9988264
Show file tree

Hide file tree

Showing 2 changed files with 1,707 additions and 252 deletions.
diff --git a/stage0/src/Lean/Parser/Term.lean b/stage0/src/Lean/Parser/Term.lean