From 7d5438513549fb3b1e7ba39d095db00b99478eaf Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Wed, 15 Jun 2005 12:15:26 +0000 Subject: [PATCH] ... --- helm/matita/tests/coercions.ma | 7 ------- 1 file changed, 7 deletions(-) diff --git a/helm/matita/tests/coercions.ma b/helm/matita/tests/coercions.ma index 8a45f2929..337ef50ed 100644 --- a/helm/matita/tests/coercions.ma +++ b/helm/matita/tests/coercions.ma @@ -29,10 +29,3 @@ alias symbol "eq" (instance 0) = "leibnitz's equality". theorem a: fst O one = fst (positive O) (next one). reflexivity. qed. - - - - - - - -- 2.39.2