From 87d73f3f86605708ba246551ad7dc537556cd114 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Thu, 20 Mar 2008 12:56:05 +0000 Subject: [PATCH] added library option to auto --- helm/software/matita/tests/paramodulation.ma | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/software/matita/tests/paramodulation.ma b/helm/software/matita/tests/paramodulation.ma index 074dcc96a..eb2cbe175 100644 --- a/helm/software/matita/tests/paramodulation.ma +++ b/helm/software/matita/tests/paramodulation.ma @@ -28,5 +28,5 @@ qed. theorem para2: \forall n:nat. n + n = 2 * n. -intros. autobatch paramodulation. +intros. autobatch paramodulation library. qed. -- 2.39.2