coq
diff --git a/‎theories/bench0050eb.v
-26 b/‎theories/bench0050eb.v
-26
diff --git a/‎theories/bench005ccf.v
-19 b/‎theories/bench005ccf.v
-19
diff --git a/‎theories/bench007e11.v
-10 b/‎theories/bench007e11.v
-10
diff --git a/‎theories/bench011888.v
-26 b/‎theories/bench011888.v
-26
diff --git a/‎theories/bench021330.v
-14 b/‎theories/bench021330.v
-14
diff --git a/‎theories/bench0216d3.v
-18 b/‎theories/bench0216d3.v
-18
diff --git a/‎theories/bench02deaf.v
-18 b/‎theories/bench02deaf.v
-18
diff --git a/‎theories/bench02ea80.v
-26 b/‎theories/bench02ea80.v
-26
diff --git a/‎theories/bench0312f1.v
-17 b/‎theories/bench0312f1.v
-17
diff --git a/‎theories/bench032011.v
-11 b/‎theories/bench032011.v
-11
diff --git a/‎theories/bench034346.v
-28 b/‎theories/bench034346.v
-28
diff --git a/‎theories/bench0349d8.v
-15 b/‎theories/bench0349d8.v
-15
diff --git a/‎theories/bench0352b5.v
-15 b/‎theories/bench0352b5.v
-15
diff --git a/‎theories/bench03adbf.v
-12 b/‎theories/bench03adbf.v
-12
diff --git a/‎theories/bench04376a.v
-18 b/‎theories/bench04376a.v
-18
diff --git a/‎theories/bench04a6b9.v
-28 b/‎theories/bench04a6b9.v
-28
diff --git a/‎theories/bench04cb19.v
-18 b/‎theories/bench04cb19.v
-18
diff --git a/‎theories/bench050bff.v
-25 b/‎theories/bench050bff.v
-25
diff --git a/‎theories/bench059482.v
-16 b/‎theories/bench059482.v
-16
diff --git a/‎theories/bench05d390.v
-20 b/‎theories/bench05d390.v
-20