From 248bd949304738ed45619b116e1e94a4dbc00555 Mon Sep 17 00:00:00 2001 From: Andrea Asperti Date: Fri, 29 Jun 2001 12:57:12 +0000 Subject: [PATCH] mk_meta_theory.xsl added It generates a theory starting from metadata. --- helm/style/mk_meta_theory.xsl | 218 ++++++++++++++++++++++++++++++++++ 1 file changed, 218 insertions(+) create mode 100644 helm/style/mk_meta_theory.xsl 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:

+ +
+ +
+ + + + + + + + + + + + + + + + + + + + + -- 2.39.2