diff --git a/collects/deinprogramm/DMdA-advanced.rkt b/collects/deinprogramm/DMdA-advanced.rkt
index 4adf7e9ce1..1fb3b3fa6a 100644
--- a/collects/deinprogramm/DMdA-advanced.rkt
+++ b/collects/deinprogramm/DMdA-advanced.rkt
@@ -1,7 +1,8 @@
 #lang deinprogramm/DMdA
 
 (require syntax/docprovide "DMdA-deflam.rkt")
-(provide #%app #%top (rename-out (DMdA-module-begin #%module-begin)) #%datum #%top-interaction require lib planet
+(provide #%app #%top (rename-out (DMdA-module-begin #%module-begin)) #%datum #%top-interaction 
+	 require lib planet provide
          let let* letrec lambda define
 	 cond if else begin and or set! quote
          define-record-procedures define-record-procedures-2 
diff --git a/collects/deinprogramm/DMdA-assignments.rkt b/collects/deinprogramm/DMdA-assignments.rkt
index d3da76cda3..f432494745 100644
--- a/collects/deinprogramm/DMdA-assignments.rkt
+++ b/collects/deinprogramm/DMdA-assignments.rkt
@@ -1,7 +1,8 @@
 #lang deinprogramm/DMdA
 
 (require syntax/docprovide "DMdA-deflam.rkt")
-(provide #%app #%top (rename-out (DMdA-module-begin #%module-begin)) #%datum #%top-interaction require lib planet
+(provide #%app #%top (rename-out (DMdA-module-begin #%module-begin)) #%datum #%top-interaction 
+	 require lib planet provide
          let let* letrec lambda define
 	 cond if else begin and or set!
          define-record-procedures define-record-procedures-2 
diff --git a/collects/deinprogramm/DMdA-beginner.rkt b/collects/deinprogramm/DMdA-beginner.rkt
index f312f52d68..9472bb7b84 100644
--- a/collects/deinprogramm/DMdA-beginner.rkt
+++ b/collects/deinprogramm/DMdA-beginner.rkt
@@ -1,7 +1,8 @@
 #lang deinprogramm/DMdA
 
 (require syntax/docprovide)
-(provide #%app #%top (rename-out (DMdA-module-begin #%module-begin)) #%datum #%top-interaction require lib planet
+(provide #%app #%top (rename-out (DMdA-module-begin #%module-begin)) #%datum #%top-interaction
+	 require lib planet provide
          define lambda cond if else and or
          define-record-procedures define-record-procedures-parametric
          .. ... .... ..... ......
diff --git a/collects/deinprogramm/DMdA-vanilla.rkt b/collects/deinprogramm/DMdA-vanilla.rkt
index 3bdbf6d3a9..ba8825cd05 100644
--- a/collects/deinprogramm/DMdA-vanilla.rkt
+++ b/collects/deinprogramm/DMdA-vanilla.rkt
@@ -1,7 +1,8 @@
 #lang deinprogramm/DMdA
 
 (require syntax/docprovide)
-(provide #%app #%top (rename-out (DMdA-module-begin #%module-begin)) #%datum #%top-interaction require lib planet
+(provide #%app #%top (rename-out (DMdA-module-begin #%module-begin)) #%datum #%top-interaction
+	 require lib planet provide
 	 define let let* letrec lambda cond if else and or
 	 define-record-procedures define-record-procedures-parametric
 	 .. ... .... ..... ......