From 307d3b2705f00313bc548ff59075d5b5c6e904cb Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Fri, 18 Nov 2011 16:45:22 +0000 Subject: [PATCH] coercions --- matita/matita/help/C/sec_commands.xml | 67 ++++++++++++++++++++------- 1 file changed, 49 insertions(+), 18 deletions(-) diff --git a/matita/matita/help/C/sec_commands.xml b/matita/matita/help/C/sec_commands.xml index 45e7c13ab..2e5995d98 100644 --- a/matita/matita/help/C/sec_commands.xml +++ b/matita/matita/help/C/sec_commands.xml @@ -131,9 +131,7 @@ --> coercion - TODO -