diff --git a/src/lang/ChoicePointStack.java b/src/lang/ChoicePointStack.java
index d11b813..1b72074 100644
--- a/src/lang/ChoicePointStack.java
+++ b/src/lang/ChoicePointStack.java
@@ -85,15 +85,4 @@
     // Since the stack is represented as a linked list, there is no limit.
     return Integer.MAX_VALUE;
   }
-
-  /** Shows the contents of this <code>CPFStack</code>. */
-  public void show() {
-    if (top == null) {
-      System.out.println("{choice point stack is empty!}");
-      return;
-    }
-    for (ChoicePointFrame e = top; e != null; e = e.prior) {
-      System.out.println(e);
-    }
-  }
 }
diff --git a/src/lang/Trail.java b/src/lang/Trail.java
index 686d750..a782781 100644
--- a/src/lang/Trail.java
+++ b/src/lang/Trail.java
@@ -81,17 +81,5 @@
 	    t.undo();
 	}
     }
-
-    /** Shows the contents of this <code>Trail</code>. */
-    public void show() {
-	if (empty()) {
-	    System.out.println("{trail stack is empty!}");
-	    return;
-	}
-	for (int i=0; i<=top; i++) {
-	    System.out.print("trail[" + i + "]: ");
-	    System.out.println(buffer[i]);
-	}
-    }
 }