From 22a1adbced01aab460077715979ab3fb996ce361 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Mon, 15 Oct 2007 11:29:57 +0000 Subject: [PATCH] natural number => Coq natural number --- matita/tests/generalize.ma | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/matita/tests/generalize.ma b/matita/tests/generalize.ma index 58634434a..a3aacd3bf 100644 --- a/matita/tests/generalize.ma +++ b/matita/tests/generalize.ma @@ -15,7 +15,7 @@ set "baseuri" "cic:/matita/generalize". include "../legacy/coq.ma". -alias num (instance 0) = "natural number". +alias num (instance 0) = "Coq natural number". alias symbol "eq" (instance 0) = "Coq's leibnitz's equality". alias symbol "plus" (instance 0) = "Coq's natural plus". alias id "plus_comm" = "cic:/Coq/Arith/Plus/plus_comm.con". -- 2.39.2