From: Andrea Asperti Date: Tue, 3 Apr 2001 08:18:56 +0000 (+0000) Subject: *** empty log message *** X-Git-Tag: v0_1_2~43 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=0a3a47d4b47605d55010bc2ef1175e8562bbdec2;p=helm.git *** empty log message *** --- diff --git a/helm/style/inductive.xsl b/helm/style/inductive.xsl new file mode 100644 index 000000000..5211c000c --- /dev/null +++ b/helm/style/inductive.xsl @@ -0,0 +1,410 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + by_induction + + + + + + + + + + + inductive_case + + case_lhs + + + + + + + + + + + + induction_hypothesis + + + + + + + + + + + + + + + + + + extra_args + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +