remove InterpreterStrict files

yforster · Apr 11, 2024 · c38a36d · c38a36d
1 parent 78a0f25
commit c38a36d
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 315 deletions.
diff --git a/theories/InterpreterStrict.v b/theories/InterpreterStrict.v
diff --git a/theories/InterpreterStrictCorrect.v b/theories/InterpreterStrictCorrect.v