Even if automatically generated, I prefer to commit the quickref help files

[helm.git] / helm / software / matita / tests / bool.ma

diff --git a/helm/software/matita/tests/bool.ma b/helm/software/matita/tests/bool.ma
index 285ff99162b38eec11b1d02a432e69e8909c1649..2b7f815b98afb95e5fb19c90ffe2e6b85a1b52a5 100644 (file)
--- a/helm/software/matita/tests/bool.ma
+++ b/helm/software/matita/tests/bool.ma
@@ -629,5 +629,5 @@ theorem bool5:
 intros.auto paramodulation.
 qed.
 
-*)
+*)*)