Inline command implemented.

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

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