reorder chapters for generated document
authorhuffman
Wed, 10 Nov 2010 18:37:11 -0800
changeset 40505 702708d26c9b
parent 40504 7c6265ba6d43
child 40506 4c5363173f88
reorder chapters for generated document
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"];