From 4eb929cc3290f574fc290433c12553acefd8f714 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Mon, 9 Jul 2007 09:58:45 +0000 Subject: [PATCH] auto->autobatch --- helm/software/matita/tests/multiple_inheritance.ma | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/software/matita/tests/multiple_inheritance.ma b/helm/software/matita/tests/multiple_inheritance.ma index 614f57ca9..413c42d44 100644 --- a/helm/software/matita/tests/multiple_inheritance.ma +++ b/helm/software/matita/tests/multiple_inheritance.ma @@ -50,5 +50,5 @@ axiom mult_idempotent: ∀r2:R2.∀x:r2. mult ? x x = x. lemma test: ∀r:R. ∀x:r. f ? x = x. intros; unfold f; - auto paramodulation. + autobatch paramodulation. qed. \ No newline at end of file -- 2.39.2