diff --git a/collects/redex/examples/arithmetic.rkt b/collects/redex/examples/arithmetic.rkt
index 5da73f4041..5a115c35da 100644
--- a/collects/redex/examples/arithmetic.rkt
+++ b/collects/redex/examples/arithmetic.rkt
@@ -1,4 +1,4 @@
-#lang scheme
+#lang racket
 (require redex)
 
 (define-language lang
diff --git a/collects/redex/examples/beginner.rkt b/collects/redex/examples/beginner.rkt
index 4bfe8facd4..914fc0bdcd 100644
--- a/collects/redex/examples/beginner.rkt
+++ b/collects/redex/examples/beginner.rkt
@@ -1,3 +1,4 @@
+#lang racket
 #|
 
 This is the semantics of Beginner Scheme, one of the
@@ -9,7 +10,6 @@ reflects the (broken) spec).
 
 |#
 
-#lang scheme
 (require redex/reduction-semantics) 
 
 (provide run-tests
diff --git a/collects/redex/examples/church.rkt b/collects/redex/examples/church.rkt
index b3152a11b5..503f39cec0 100644
--- a/collects/redex/examples/church.rkt
+++ b/collects/redex/examples/church.rkt
@@ -1,4 +1,4 @@
-#lang scheme
+#lang racket
 (require redex)
 
 (reduction-steps-cutoff 100)
diff --git a/collects/redex/examples/combinators.rkt b/collects/redex/examples/combinators.rkt
index 4ccef96047..7aff400fa8 100644
--- a/collects/redex/examples/combinators.rkt
+++ b/collects/redex/examples/combinators.rkt
@@ -1,4 +1,4 @@
-#lang scheme
+#lang racket
 
 ;"one point basis"
 ;"formal aspects of computing"
diff --git a/collects/redex/examples/compatible-closure.rkt b/collects/redex/examples/compatible-closure.rkt
index 313bcedcd6..88e3e06365 100644
--- a/collects/redex/examples/compatible-closure.rkt
+++ b/collects/redex/examples/compatible-closure.rkt
@@ -1,4 +1,4 @@
-#lang scheme
+#lang racket
 (require redex)
 
 (define-language grammar
diff --git a/collects/redex/examples/contracts.rkt b/collects/redex/examples/contracts.rkt
index 12434f2198..10cb4f90a7 100644
--- a/collects/redex/examples/contracts.rkt
+++ b/collects/redex/examples/contracts.rkt
@@ -1,4 +1,4 @@
-#lang scheme
+#lang racket
 
 #|
 
diff --git a/collects/redex/examples/letrec.rkt b/collects/redex/examples/letrec.rkt
index b0970992b3..40ea593ab7 100644
--- a/collects/redex/examples/letrec.rkt
+++ b/collects/redex/examples/letrec.rkt
@@ -1,4 +1,4 @@
-#lang scheme
+#lang racket
 
 #|
 
diff --git a/collects/redex/examples/omega.rkt b/collects/redex/examples/omega.rkt
index 7d947b55bc..63e5967324 100644
--- a/collects/redex/examples/omega.rkt
+++ b/collects/redex/examples/omega.rkt
@@ -1,4 +1,4 @@
-#lang scheme
+#lang racket
 (require redex "subst.ss")
 
 (reduction-steps-cutoff 10)
diff --git a/collects/redex/examples/pi-calculus.rkt b/collects/redex/examples/pi-calculus.rkt
index 76a5f8bba9..5cd4503104 100644
--- a/collects/redex/examples/pi-calculus.rkt
+++ b/collects/redex/examples/pi-calculus.rkt
@@ -1,4 +1,4 @@
-#lang scheme
+#lang racket
 
 ;; this is a formulation of the pi-calculus in redex, following Milner's 1990 paper,
 ;; "Functions as Processes", available online (for now, anyhow) at:
diff --git a/collects/redex/examples/r6rs/r6rs.rkt b/collects/redex/examples/r6rs/r6rs.rkt
index f51aba515a..a5308e8be6 100644
--- a/collects/redex/examples/r6rs/r6rs.rkt
+++ b/collects/redex/examples/r6rs/r6rs.rkt
@@ -1,6 +1,6 @@
-(module r6rs mzscheme
+#lang racket
   (require redex/reduction-semantics
-           (lib "plt-match.ss"))
+           racket/match)
   
   (provide lang 
            reductions
@@ -24,7 +24,7 @@
   
   (define-syntax (metafunction-type stx)
     ;; these are only used in the figures
-    #''ignore)
+    #'(void))
 
   (define-language lang
     (p* (store (sf ...) es) (uncaught-exception v) (unknown string))
@@ -976,4 +976,4 @@
   (define (unique? l)
     (or (null? l)
         (and (andmap (lambda (e) (not (equal? (car l) e))) (cdr l))
-             (unique? (cdr l))))))
+             (unique? (cdr l)))))
diff --git a/collects/redex/examples/r6rs/show-examples.rkt b/collects/redex/examples/r6rs/show-examples.rkt
index 11cf67973b..00190352dc 100644
--- a/collects/redex/examples/r6rs/show-examples.rkt
+++ b/collects/redex/examples/r6rs/show-examples.rkt
@@ -1,4 +1,4 @@
-#lang scheme
+#lang racket
 
 (require redex
          "r6rs.ss")
diff --git a/collects/redex/examples/racket-machine/grammar.rkt b/collects/redex/examples/racket-machine/grammar.rkt
index 4327938883..f2e4172aee 100644
--- a/collects/redex/examples/racket-machine/grammar.rkt
+++ b/collects/redex/examples/racket-machine/grammar.rkt
@@ -1,4 +1,4 @@
-#lang scheme
+#lang racket
 
 (require redex/reduction-semantics)
 
diff --git a/collects/redex/examples/racket-machine/reduction-test.rkt b/collects/redex/examples/racket-machine/reduction-test.rkt
index 3b65b351de..5b38cf35d6 100644
--- a/collects/redex/examples/racket-machine/reduction-test.rkt
+++ b/collects/redex/examples/racket-machine/reduction-test.rkt
@@ -1,4 +1,4 @@
-#lang scheme
+#lang racket
 
 (require redex/reduction-semantics
          "reduction.ss")
diff --git a/collects/redex/examples/racket-machine/reduction.rkt b/collects/redex/examples/racket-machine/reduction.rkt
index 9b26910c1f..f90bab776e 100644
--- a/collects/redex/examples/racket-machine/reduction.rkt
+++ b/collects/redex/examples/racket-machine/reduction.rkt
@@ -1,4 +1,4 @@
-#lang scheme
+#lang racket
 
 (require redex/reduction-semantics)
 (require "grammar.ss" "util.ss")
diff --git a/collects/redex/examples/racket-machine/verification-test.rkt b/collects/redex/examples/racket-machine/verification-test.rkt
index 5cdd6bf645..8212ba5328 100644
--- a/collects/redex/examples/racket-machine/verification-test.rkt
+++ b/collects/redex/examples/racket-machine/verification-test.rkt
@@ -1,4 +1,4 @@
-#lang scheme
+#lang racket
 
 (require redex/reduction-semantics)
 (require "grammar.ss" "verification.ss")
diff --git a/collects/redex/examples/racket-machine/verification.rkt b/collects/redex/examples/racket-machine/verification.rkt
index d9f196a06f..b6b305bd53 100644
--- a/collects/redex/examples/racket-machine/verification.rkt
+++ b/collects/redex/examples/racket-machine/verification.rkt
@@ -1,4 +1,4 @@
-#lang scheme
+#lang racket
 
 (require redex/reduction-semantics)
 (require "grammar.ss" "util.ss")
diff --git a/collects/redex/examples/semaphores.rkt b/collects/redex/examples/semaphores.rkt
index dd3e939926..ed541f8ba9 100644
--- a/collects/redex/examples/semaphores.rkt
+++ b/collects/redex/examples/semaphores.rkt
@@ -1,4 +1,4 @@
-#lang scheme
+#lang racket
 (require redex)
 
 #|
diff --git a/collects/redex/examples/subject-reduction.rkt b/collects/redex/examples/subject-reduction.rkt
index a0a1beb918..22be4833ae 100644
--- a/collects/redex/examples/subject-reduction.rkt
+++ b/collects/redex/examples/subject-reduction.rkt
@@ -1,4 +1,4 @@
-#lang scheme
+#lang racket
 (require redex)
 
 (reduction-steps-cutoff 10)
diff --git a/collects/redex/examples/subst.rkt b/collects/redex/examples/subst.rkt
index 1bca5538dc..4a7c5c4826 100644
--- a/collects/redex/examples/subst.rkt
+++ b/collects/redex/examples/subst.rkt
@@ -1,4 +1,4 @@
-#lang scheme
+#lang racket
 (require redex/reduction-semantics)
 (provide subst subst-n)
 
diff --git a/collects/redex/examples/threads.rkt b/collects/redex/examples/threads.rkt
index adcb576e84..5c0230830c 100644
--- a/collects/redex/examples/threads.rkt
+++ b/collects/redex/examples/threads.rkt
@@ -1,4 +1,4 @@
-#lang scheme
+#lang racket
 (require redex)
 
 (reduction-steps-cutoff 100)
diff --git a/collects/redex/examples/types.rkt b/collects/redex/examples/types.rkt
index 7bd1d87392..d3e1548ccf 100644
--- a/collects/redex/examples/types.rkt
+++ b/collects/redex/examples/types.rkt
@@ -1,4 +1,4 @@
-#lang scheme
+#lang racket
 (require redex
          "subst.ss")