Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-03-23 22:30:32 -0800 (Sun, 23 Mar 2003)
Revision: 4229
Log message:

      Fixed a bug in alpha equality...
      

Changes	Path
+5 -4	metaprl/refiner/term_ds/term_subst_ds.ml
+1703 -1601	metaprl/theories/itt/ctt_markov.prla