chore: update stage0

leanprover · Jan 30, 2024 · 0a621c2 · 0a621c2
1 parent d213e31
commit 0a621c2
Show file tree

Hide file tree

Showing 8 changed files with 10,264 additions and 8,696 deletions.
diff --git a/stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Fin.c b/stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Fin.c
diff --git a/stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Int.c b/stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Int.c
diff --git a/stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Nat.c b/stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Nat.c