From 1fff0186531410297e970ba862947b2cbd539fb5 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Fri, 20 Jul 2001 15:19:31 +0000 Subject: [PATCH] First version using maction/toggle to navigate proofs. --- helm/style/mmlextension.xsl | 28 +++++++++++++++++++++++++++- 1 file changed, 27 insertions(+), 1 deletion(-) diff --git a/helm/style/mmlextension.xsl b/helm/style/mmlextension.xsl index 8566c9726..bb13c876e 100644 --- a/helm/style/mmlextension.xsl +++ b/helm/style/mmlextension.xsl @@ -44,6 +44,8 @@ which generates the toplevel element (see for instance xlink) --> + + @@ -979,6 +981,23 @@ which generates the toplevel element (see for instance xlink) --> + + + + + + We can prove + _ + + + + _ + + (explain) + + + + @@ -990,13 +1009,20 @@ which generates the toplevel element (see for instance xlink) --> - we proved + we proved _ + + + _ + + (hide details) + + -- 2.39.2