diff --git a/collects/scribblings/htdp-langs/advanced.scrbl b/collects/scribblings/htdp-langs/advanced.scrbl
index 56e6b95315..378263ac90 100644
--- a/collects/scribblings/htdp-langs/advanced.scrbl
+++ b/collects/scribblings/htdp-langs/advanced.scrbl
@@ -313,4 +313,7 @@ level as they did in the @secref["intermediate-lam"] level.
 
 @section[#:tag "advanced-pre-defined"]{Pre-Defined Functions}
 
-@prim-op-defns['(lib "htdp-advanced.rkt" "lang") #'here '()]
+@(require (submod lang/htdp-advanced procedures))
+@(render-sections (docs) "htdp-advanced")
+
+@;prim-op-defns['(lib "htdp-advanced.rkt" "lang") #'here '()]
diff --git a/collects/scribblings/htdp-langs/beginner-abbr.scrbl b/collects/scribblings/htdp-langs/beginner-abbr.scrbl
index 2d8ada1a58..308552b6fc 100644
--- a/collects/scribblings/htdp-langs/beginner-abbr.scrbl
+++ b/collects/scribblings/htdp-langs/beginner-abbr.scrbl
@@ -83,4 +83,7 @@ Abbreviations} level as they did in the @secref["beginner"] level.
 
 @section[#:tag "beginner-abbr-pre-defined"]{Pre-defined Functions}
 
-@prim-op-defns['(lib "htdp-beginner-abbr.rkt" "lang") #'here '()]
+@(require (submod lang/htdp-beginner-abbr procedures))
+@(render-sections (docs) "htdp-beginner-abbr")
+
+@;prim-op-defns['(lib "htdp-beginner-abbr.rkt" "lang") #'here '()]
diff --git a/collects/scribblings/htdp-langs/beginner.scrbl b/collects/scribblings/htdp-langs/beginner.scrbl
index 67c71d1e27..9d04ff6609 100644
--- a/collects/scribblings/htdp-langs/beginner.scrbl
+++ b/collects/scribblings/htdp-langs/beginner.scrbl
@@ -77,4 +77,7 @@ A quoted @racket[name] is a symbol. A symbol is a value, just like
              
 @section[#:tag "beginner-pre-defined"]{Pre-defined Functions}
 
-@prim-op-defns['(lib "htdp-beginner.rkt" "lang") #'here '()]
+@(require (submod lang/htdp-beginner procedures))
+@(render-sections (docs) "htdp-beginner")
+
+@;prim-op-defns[ #'here '()]
diff --git a/collects/scribblings/htdp-langs/intermediate-lambda.scrbl b/collects/scribblings/htdp-langs/intermediate-lambda.scrbl
index b54ed73902..f6d31ea2b3 100644
--- a/collects/scribblings/htdp-langs/intermediate-lambda.scrbl
+++ b/collects/scribblings/htdp-langs/intermediate-lambda.scrbl
@@ -119,4 +119,7 @@ level as they did in the @secref["intermediate"] level.
 
 @section[#:tag "intm-w-lambda-pre-defined"]{Pre-defined Functions}
 
-@prim-op-defns['(lib "htdp-intermediate-lambda.rkt" "lang") #'here '()]
+@(require (submod lang/htdp-intermediate-lambda procedures))
+@(render-sections (docs) "htdp-intermediate-lambda")
+
+@;prim-op-defns['(lib "htdp-intermediate-lambda.rkt" "lang") #'here '()]
diff --git a/collects/scribblings/htdp-langs/intermediate.scrbl b/collects/scribblings/htdp-langs/intermediate.scrbl
index 089234297a..3fbaa5b5b9 100644
--- a/collects/scribblings/htdp-langs/intermediate.scrbl
+++ b/collects/scribblings/htdp-langs/intermediate.scrbl
@@ -95,7 +95,10 @@ did in the @secref["beginner-abbr"] level.
 
 
 
-@section[#:tag "intermediate-pre-defined"]{Pre-defined Functions}
+@section[#:tag "intermediate-pre-defined" ]{Pre-defined Functions}
 
-@prim-op-defns['(lib "htdp-intermediate.rkt" "lang") #'here '()]
+@(require (submod lang/htdp-intermediate procedures))
+@(render-sections (docs) "htdp-intermediate")
+
+@;prim-op-defns['(lib "htdp-intermediate.rkt" "lang") #'here '()]