Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2002-05-13 02:07:16 -0700 (Mon, 13 May 2002)
Revision: 3632
Log message:

      Added an example of group: the klein 4-group.
      It looks pretty ugly now and needs comments.
      

Changes	Path
+2 -1	metaprl/theories/czf/Makefile
Added	metaprl/theories/czf/czf_itt_kleingroup.ml
Properties	metaprl/theories/czf/czf_itt_kleingroup.ml
Added	metaprl/theories/czf/czf_itt_kleingroup.mli
Properties	metaprl/theories/czf/czf_itt_kleingroup.mli
Added	metaprl/theories/czf/czf_itt_kleingroup.prla
Properties	metaprl/theories/czf/czf_itt_kleingroup.prla