Remove "basic lemmas" module

Beluga-lang · May 9, 2024 · 5dc992b · 5dc992b
1 parent 1a508ac
commit 5dc992b
Show file tree

Hide file tree

Showing 3 changed files with 356 additions and 375 deletions.
diff --git a/theories/Core/Semantic/PERBasicLemmas.v b/theories/Core/Semantic/PERBasicLemmas.v