diff --git a/xsl/caramel/concept2docbook.xsl b/xsl/caramel/concept2docbook.xsl
index de4228b..6554980 100644
--- a/xsl/caramel/concept2docbook.xsl
+++ b/xsl/caramel/concept2docbook.xsl
@@ -59,7 +59,7 @@ Copyright (c) 2000-2001 University of Notre Dame. All rights reserved.
-
+
-->
@@ -108,12 +108,12 @@ Copyright (c) 2000-2001 University of Notre Dame. All rights reserved.
-
-
-
- @(@=@)@
-
-
+
+
+
+ @(@=@)@
+
+
@@ -130,12 +130,12 @@ Copyright (c) 2000-2001 University of Notre Dame. All rights reserved.
- @@(@@
-
-
-
-
- @@=@@@@)@@
+ @@(@@
+
+
+
+
+ @@=@@@@)@@
@@ -144,9 +144,9 @@ Copyright (c) 2000-2001 University of Notre Dame. All rights reserved.
Definitions
-
-
-
+
+
+
@@ -202,8 +202,8 @@ Copyright (c) 2000-2001 University of Notre Dame. All rights reserved.
-
- must be
+
+ must be
,
and
@@ -214,7 +214,7 @@ Copyright (c) 2000-2001 University of Notre Dame. All rights reserved.
.
-
+
@@ -271,9 +271,9 @@ Copyright (c) 2000-2001 University of Notre Dame. All rights reserved.
-
-
@@ -282,53 +282,53 @@ Copyright (c) 2000-2001 University of Notre Dame. All rights reserved.
@@ -337,9 +337,9 @@ Copyright (c) 2000-2001 University of Notre Dame. All rights reserved.
Complexity
-
-
-
+
+
+
@@ -347,14 +347,14 @@ Copyright (c) 2000-2001 University of Notre Dame. All rights reserved.
Invariants
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
@@ -362,46 +362,44 @@ Copyright (c) 2000-2001 University of Notre Dame. All rights reserved.
Models
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
+
+
+
- See also
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+ See also
+
+
+
+
+
+
+
+
+
+
+
+
@@ -417,79 +415,79 @@ Copyright (c) 2000-2001 University of Notre Dame. All rights reserved.
- identical to
-
-
-
-
-
-
+ identical to
+
+
+
+
+
+
-
- convertible to
- Convertible to
- convertible to
-
-
-
-
-
-
-
+
+ convertible to
+ Convertible to
+ convertible to
+
+
+
+
+
+
+
-
- derived from
- Derived from
- derived from
-
-
-
-
-
-
-
+
+ derived from
+ Derived from
+ derived from
+
+
+
+
+
+
+
-
- assignable to
- Assignable to
- assignable to
-
-
-
-
-
-
-
+
+ assignable to
+ Assignable to
+ assignable to
+
+
+
+
+
+
+
-
- a model
- Models
- models
-
-
- (along with
-
-
-
-
-
-
-
- and
- , and
- ,
-
- )
-
- of
+
+ a model
+ Models
+ models
+
+
+ (along with
+
+
+
+
+
+
+
+ and
+ , and
+ ,
+
+ )
+
+ of
@@ -504,35 +502,35 @@ Copyright (c) 2000-2001 University of Notre Dame. All rights reserved.
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
-
-
-
-
+
+
+
+
-
+
@@ -551,7 +549,7 @@ Copyright (c) 2000-2001 University of Notre Dame. All rights reserved.
-
@@ -561,7 +559,7 @@ Copyright (c) 2000-2001 University of Notre Dame. All rights reserved.
-
@@ -588,7 +586,7 @@ Copyright (c) 2000-2001 University of Notre Dame. All rights reserved.
-
+
@@ -600,11 +598,11 @@ Copyright (c) 2000-2001 University of Notre Dame. All rights reserved.
-
-
+
+
-
+
@@ -629,7 +627,7 @@ Copyright (c) 2000-2001 University of Notre Dame. All rights reserved.
-
+
@@ -638,7 +636,7 @@ Copyright (c) 2000-2001 University of Notre Dame. All rights reserved.
-
+
@@ -672,11 +670,11 @@ Copyright (c) 2000-2001 University of Notre Dame. All rights reserved.
and
-
-
+
@@ -732,7 +730,7 @@ Copyright (c) 2000-2001 University of Notre Dame. All rights reserved.
-
@@ -755,7 +753,7 @@ Copyright (c) 2000-2001 University of Notre Dame. All rights reserved.
-
+
@@ -763,7 +761,7 @@ Copyright (c) 2000-2001 University of Notre Dame. All rights reserved.
-
+
@@ -785,7 +783,7 @@ Copyright (c) 2000-2001 University of Notre Dame. All rights reserved.
-
+
@@ -796,7 +794,7 @@ Copyright (c) 2000-2001 University of Notre Dame. All rights reserved.
-