Changes by: Kamal Aboul-Hosn (kamal at cs.cornell.edu)
Date: 2003-12-08 09:11:20 -0800 (Mon, 08 Dec 2003)
Revision: 5168
Log message:

      Added files corresponding to KAT-ML libraries
      

Changes	Path
+7 -1	metaprl/theories/kat/Makefile
Added	metaprl/theories/kat/kat_MSDriver.ml
Properties	metaprl/theories/kat/kat_MSDriver.ml
Added	metaprl/theories/kat/kat_MSDriver.mli
Properties	metaprl/theories/kat/kat_MSDriver.mli
Added	metaprl/theories/kat/kat_ax.ml
Properties	metaprl/theories/kat/kat_ax.ml
Added	metaprl/theories/kat/kat_ax.mli
Properties	metaprl/theories/kat/kat_ax.mli
Added	metaprl/theories/kat/kat_bool.ml
Properties	metaprl/theories/kat/kat_bool.ml
Added	metaprl/theories/kat/kat_bool.mli
Properties	metaprl/theories/kat/kat_bool.mli
Added	metaprl/theories/kat/kat_denest.ml
Properties	metaprl/theories/kat/kat_denest.ml
Added	metaprl/theories/kat/kat_denest.mli
Properties	metaprl/theories/kat/kat_denest.mli
Added	metaprl/theories/kat/kat_hoare.ml
Properties	metaprl/theories/kat/kat_hoare.ml
Added	metaprl/theories/kat/kat_hoare.mli
Properties	metaprl/theories/kat/kat_hoare.mli
Added	metaprl/theories/kat/kat_star.ml
Properties	metaprl/theories/kat/kat_star.ml
Added	metaprl/theories/kat/kat_star.mli
Properties	metaprl/theories/kat/kat_star.mli
Added	metaprl/theories/kat/kat_std.ml
Properties	metaprl/theories/kat/kat_std.ml
Added	metaprl/theories/kat/kat_std.mli
Properties	metaprl/theories/kat/kat_std.mli
+749 -178	metaprl/theories/kat/kat_test.ml