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

      Some proofs in KAT
      

Changes	Path
+11 -11	metaprl/theories/kat/kat_axioms.ml
Added	metaprl/theories/kat/kat_axioms.prla
Properties	metaprl/theories/kat/kat_axioms.prla