From 6dcce596f1e6e2c352f67f5602556a0c41efd7bb Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 19 Jul 2005 11:55:15 +0000 Subject: [PATCH] New naming scheme by Andrea. --- helm/matita/tests/elim.ma | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/helm/matita/tests/elim.ma b/helm/matita/tests/elim.ma index d7dd320e2..cf4e1eb22 100644 --- a/helm/matita/tests/elim.ma +++ b/helm/matita/tests/elim.ma @@ -38,9 +38,9 @@ elim a. clear a.left.left. reflexivity. clear H.clear H1.clear a.right. - exists.exact e2.exists.exact e1.reflexivity. + exists.exact s.exists.exact s1.reflexivity. clear H.clear a.left.right. - exists.exact e3.reflexivity. + exists.exact s.reflexivity. qed. theorem t: 0=0 \to stupidtype. -- 2.39.2