source code examples cleanup (in paper): made all heavyweight specs
indented in the same way, indented all code consistently (two spaces), changed && to & in code for consistency, made spacing consistent for infix operators.
Authored by: kiniry 2006-05-19
Parent: [r8488]
Child: [r8490]