Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-04-06 14:39:55 -0700 (Mon, 06 Apr 1998)
Revision: 2103
Log message:

      Test program with a sequent.
      

Changes	Path
+4 -3	metaprl/filter/test.ml
+5 -1	metaprl/filter/test.mli