msp-strath · Dec 10, 2024
diff --git a/‎natural-deduction/ND_FOL.ml
-489 b/‎natural-deduction/ND_FOL.ml
-489
diff --git a/‎natural-deduction/big_system.ml
-513 b/‎natural-deduction/big_system.ml
-513
diff --git a/‎natural-deduction/classical_propositional_logic.ml
-407 b/‎natural-deduction/classical_propositional_logic.ml
-407
diff --git a/‎natural-deduction/drop_down.ml
-43 b/‎natural-deduction/drop_down.ml
-43
diff --git a/‎natural-deduction/operational_semantics.ml
-265 b/‎natural-deduction/operational_semantics.ml
-265