Move the example float definition to Utils/.

diff --git a/Chapters/Normalization.tex b/Chapters/Normalization.tex
index 30265696a12a60c1b9c79f6f5acb474eb94291fe..b74333ae103c15d51b08fa37cc708cc7c3f1503b 100644 (file)
--- a/Chapters/Normalization.tex
+++ b/Chapters/Normalization.tex
@@ -15,10 +15,6 @@
 }
 
 
-% A transformation example
-\definefloat[example][examples]
-\setupcaption[example][location=top] % Put captions on top
-
 \define[3]\transexample{
   \placeexample[here]{#1}
   \startcombination[2*1]

diff --git a/Utils/Lambda.tex b/Utils/Lambda.tex
index 4c6574938c0766e1b4c2d9888a168b35723f9813..fe1fb6ffcf405a506ce9c818b280b74573043237 100644 (file)
--- a/Utils/Lambda.tex
+++ b/Utils/Lambda.tex
@@ -116,3 +116,8 @@ draw b;
 % TODO: Make more pretty.
 \definefloat[definition][definitions]
 \setupfloat[definition][background=box,backgroundoffset=1mm]
+
+% Define an "example" float. Don't add box around it, since an example will
+% commonly contain two boxed items (Before / after, code / picture).
+\definefloat[example][examples]
+\setupcaption[example][location=top] % Put captions on top