Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-11-23 11:35:19 -0800 (Wed, 23 Nov 2005)
Revision: 8205
Log message:

      Minor changes.  Meta_implies should depend on Meta_struct, not
      vice-versa.
      

Changes  Path
Properties metaprl/filter/base
+1 -1 metaprl/mk/make_config
+2 -2 metaprl/theories/extensions/OMakefile
+4 -0 metaprl/theories/extensions/meta_extensions_theory.mlz
+19 -0 metaprl/theories/extensions/meta_implies.ml
+5 -0 metaprl/theories/extensions/meta_implies.mli
+4 -23 metaprl/theories/extensions/meta_struct.ml
+1 -2 metaprl/theories/extensions/meta_struct.mli