Changes by: Kamal Aboul-Hosn (kamal at cs.cornell.edu)
Date: 2003-12-04 16:06:23 -0800 (Thu, 04 Dec 2003)
Revision: 5147
Log message:

      Added axioms and theorems taken from the standard KAT library in KAT-ML.  These do not include boolean things yet.  Added kleene declaration to kat_terms.mli and kat_test to Makefile.
      

Changes	Path
+1 -0	metaprl/theories/kat/Makefile
+1 -0	metaprl/theories/kat/kat_terms.mli
Added	metaprl/theories/kat/kat_test.ml
Properties	metaprl/theories/kat/kat_test.ml
Added	metaprl/theories/kat/kat_test.mli
Properties	metaprl/theories/kat/kat_test.mli