Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-07-22 17:24:57 -0700 (Thu, 22 Jul 1999)
Revision: 2799
Log message:

      Now one can use SO variables in display form specifications
      

Changes	Path
+2 -5	metaprl/filter/base/filter_prog.ml
+5 -6	metaprl/refiner/reflib/dform.ml
+0 -1	metaprl/refiner/reflib/dform.mli
+2 -2	metaprl/refiner/reflib/term_match_table.ml
+1 -1	metaprl/refiner/reflib/term_match_table.mli
+2 -4	metaprl/theories/base/base_dtactic.ml
+4 -4	metaprl/theories/base/typeinf.ml
+1 -2	metaprl/theories/itt/itt_decidable.ml
+4 -5	metaprl/theories/itt/itt_sort.ml
+1 -2	metaprl/theories/tactic/top_conversionals.ml