Changes by: Alexei Kopylov (kopylov at cs.caltech.edu)
Date: 2003-12-02 12:40:24 -0800 (Tue, 02 Dec 2003)
Revision: 5140
Log message:

      Start Dexter Kozen's theory of Kleene algebra with Tests.
      

Changes	Path
Added	metaprl/theories/kat/Makefile
Properties	metaprl/theories/kat/Makefile
Added	metaprl/theories/kat/base_select.ml
Properties	metaprl/theories/kat/base_select.ml
Added	metaprl/theories/kat/base_select.mli
Properties	metaprl/theories/kat/base_select.mli
Added	metaprl/theories/kat/kat_axioms.ml
Properties	metaprl/theories/kat/kat_axioms.ml
Added	metaprl/theories/kat/kat_axioms.mli
Properties	metaprl/theories/kat/kat_axioms.mli
Added	metaprl/theories/kat/kat_terms.ml
Properties	metaprl/theories/kat/kat_terms.ml
Added	metaprl/theories/kat/kat_terms.mli
Properties	metaprl/theories/kat/kat_terms.mli