remove old files

h0nzZik · Jan 22, 2024 · d1fb2b5 · d1fb2b5
1 parent 70f9207
commit d1fb2b5
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 2,673 deletions.
diff --git a/minuska/_CoqProject b/minuska/_CoqProject
@@ -26,6 +26,3 @@ theories/examples_unary_nat.v
 
 theories/benchmarking_in_coq.v
 
-# Those two are disabled because I am lazy
-# theories/flatten.v
-# theories/on_a_good_reordering.v