]> matita.cs.unibo.it Git - helm.git/commitdiff
projects / helm.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 0d390f7)
added missing *)
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 2 Oct 2006 11:42:43 +0000 (11:42 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 2 Oct 2006 11:42:43 +0000 (11:42 +0000)
helm/software/matita/tests/bool.ma patch | blob | history

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.
 
-*)
+*)*)
 
Unnamed repository; edit this file 'description' to name the repository.