Changes by: Alexei Kopylov (kopylov at cs.caltech.edu)
Date: 2003-12-03 15:32:47 -0800 (Wed, 03 Dec 2003)
Revision: 5144
Log message:

      More on KAT
      

Changes	Path
+2 -2	metaprl/theories/kat/base_select.ml
+3 -1	metaprl/theories/kat/kat_terms.ml
+24 -30	metaprl/theories/kat/support_algebra.ml