From: Andrea Asperti Date: Fri, 29 Jun 2001 12:57:12 +0000 (+0000) Subject: mk_meta_theory.xsl added X-Git-Tag: v0_1_3~120 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=248bd949304738ed45619b116e1e94a4dbc00555;p=helm.git mk_meta_theory.xsl added It generates a theory starting from metadata. --- diff --git a/helm/style/mk_meta_theory.xsl b/helm/style/mk_meta_theory.xsl new file mode 100644 index 000000000..b33a3dfc2 --- /dev/null +++ b/helm/style/mk_meta_theory.xsl @@ -0,0 +1,218 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +

Occurrences of

+ + + + + +

Head position inside conclusion:

+ +
+ +
+ + + +

Head position inside conclusion:

+ +
+ +
+ + + + + + +

Inside conclusion:

+ +
+ +
+ + + +

Inside conclusion:

+ +
+ +
+ + + + + + +

Head position inside an hypothesis:

+ +
+ +
+ + + +

Head position inside an hypothesis:

+ +
+ +
+ + + + + + +

Inside an hypothesis:

+ +
+ +
+ + + +

Inside an hypothesis:

+ +
+ +
+ + + + +

Inside the body:

+ +
+ +
+ + + + + + + + + + + + + + + + + + + + +