# HG changeset patch
# User huffman
# Date 1289443031 28800
# Node ID 702708d26c9b6762d557873abe33a040a6aba07f
# Parent  7c6265ba6d43ee2b60e2eeb54d0fb4536febb117
reorder chapters for generated document

diff -r 7c6265ba6d43 -r 702708d26c9b src/HOLCF/ROOT.ML
--- a/src/HOLCF/ROOT.ML	Wed Nov 10 18:30:17 2010 -0800
+++ b/src/HOLCF/ROOT.ML	Wed Nov 10 18:37:11 2010 -0800
@@ -6,4 +6,4 @@
 
 no_document use_thys ["Nat_Bijection", "Countable"];
 
-use_thys ["HOLCF"];
+use_thys ["Plain_HOLCF", "Fixrec", "HOLCF"];