Really reset stage0

leanprover · Feb 2, 2025 · be95ad1 · be95ad1
1 parent fa28232
commit be95ad1
Show file tree

Hide file tree

Showing 8 changed files with 0 additions and 5,446 deletions.
diff --git a/stage0/stdlib/Init/Control/Lawful/Lemmas.c b/stage0/stdlib/Init/Control/Lawful/Lemmas.c
diff --git a/stage0/stdlib/Init/Data/Array/Erase.c b/stage0/stdlib/Init/Data/Array/Erase.c
diff --git a/stage0/stdlib/Init/Data/Array/Range.c b/stage0/stdlib/Init/Data/Array/Range.c
diff --git a/stage0/stdlib/Init/Data/Int/Cooper.c b/stage0/stdlib/Init/Data/Int/Cooper.c
diff --git a/stage0/stdlib/Init/Data/Vector/Erase.c b/stage0/stdlib/Init/Data/Vector/Erase.c