From 402d69254737c64b36cf00e223f520c53faf33db Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Mon, 18 Dec 2000 17:55:53 +0000 Subject: [PATCH] Some spaces at the content level eliminated. --- helm/style/objcontent.xsl | 12 ++++++------ helm/style/proofs.xsl | 12 ++++++------ 2 files changed, 12 insertions(+), 12 deletions(-) diff --git a/helm/style/objcontent.xsl b/helm/style/objcontent.xsl index 112e73ab1..2e70505d0 100644 --- a/helm/style/objcontent.xsl +++ b/helm/style/objcontent.xsl @@ -48,10 +48,10 @@ --> - + - + @@ -64,7 +64,7 @@ - + @@ -77,10 +77,10 @@ - + - + @@ -121,7 +121,7 @@ - + diff --git a/helm/style/proofs.xsl b/helm/style/proofs.xsl index 781ae3e42..ba45ee0dc 100644 --- a/helm/style/proofs.xsl +++ b/helm/style/proofs.xsl @@ -63,7 +63,7 @@ attribute::uri='cic:/Coq/Zarith/auxiliary/eqT_ind_r.con'] and count(child::*) = 7"> thread - + rw_step

@@ -93,7 +93,7 @@ or_ind

- +

@@ -101,7 +101,7 @@ thread - + app

@@ -114,7 +114,7 @@ proof

- +

@@ -138,7 +138,7 @@ attribute::uri='cic:/Coq/Init/Logic_Type/eqT_ind.con' or attribute::uri='cic:/Coq/Zarith/auxiliary/eqT_ind_r.con'] and count(child::*) = 7"> - + rw_step

@@ -161,7 +161,7 @@ thread - + app

-- 2.39.2