[paras. let's see if this works.
Don Stewart <dons@galois.com>**20080420230917] {
hunk ./en/ch12-testing.xml 6
+  <para>
hunk ./en/ch12-testing.xml 13
+  </para>
hunk ./en/ch12-testing.xml 15
+  <para>
hunk ./en/ch12-testing.xml 22
+  </para>
hunk ./en/ch12-testing.xml 24
+  <para>
hunk ./en/ch12-testing.xml 26
-The main testing mechanisms in Haskell are unit testing (via the HUnit 
-library), and type-based <quote>property</quote> testing, using 
-QuickCheck. QuickCheck, in particular, encourages a high level approach
-to testing in the form of abstract invariants functions should satisfy.
-QuickCheck, in effect, writes specific tests for you, using the type 
-system to guide the generation of test data.
+The main testing mechanisms in Haskell are traditional unit testing (via the HUnit 
+library), and its more powerful sibling, type-based <quote>property</quote>
+testing, using QuickCheck. QuickCheck, in particular, encourages a high level
+approach to testing in the form of abstract invariants functions should
+satisfy.  QuickCheck, in effect, writes specific tests for you, using the
+type system to guide the generation of test data.
+  </para>
hunk ./en/ch12-testing.xml 34
+  <para>
hunk ./en/ch12-testing.xml 38
+  </para>
+
+<!--
+  <sect1>
+    <title>Writing QuickCheck properties</title>
+
+  <sect1>
+    <title>Running tests</title>
+
+  <sect1>
+    <title>Code coverage information</title>
+
+  <sect1>
+    <title>The awkward testing squad: IO functions and error cases</title>
+  -->
}