Diff of /examples/forall/README.txt [495079] .. [6de8ee] Maximize Restore

  Switch to side-by-side view

--- a/examples/forall/README.txt
+++ b/examples/forall/README.txt
@@ -7,16 +7,16 @@
 
 These rules find all people who have no step brothers or sisters.
 
-    >>> import run
+    >>> import driver
 
     # uses fc_forall.krb
-    >>> run.fc_test()
+    >>> driver.fc_test()
     arthur2 has no step brothers or sisters
     helen has no step brothers or sisters
     roberta has no step brothers or sisters
 
     # uses bc_forall.krb
-    >>> run.bc_test()
+    >>> driver.bc_test()
     arthur2
     helen
     roberta