Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-01-16 23:37:14 -0800 (Sun, 16 Jan 2005)
Revision: 6422
Log message:

      Initial opname class testing.
      

Changes	Path
+2 -6	metaprl-branches/opname_classes/filter/base/OMakefile
+10 -7	metaprl-branches/opname_classes/filter/base/filter_cache_fun.ml
+2 -0	metaprl-branches/opname_classes/filter/base/filter_type.ml
+74 -14	metaprl-branches/opname_classes/filter/filter/filter_parse.ml
+45 -25	metaprl-branches/opname_classes/filter/filter/term_grammar.ml
+1 -1	metaprl-branches/opname_classes/refiner/refsig/Files
+0 -1	metaprl-branches/opname_classes/refiner/refsig/OMakefile
+2 -0	metaprl-branches/opname_classes/support/shell/shell_state.ml
Properties	metaprl-branches/opname_classes/theories/experimental/syntax
Added	metaprl-branches/opname_classes/theories/experimental/syntax/OMakefile
Properties	metaprl-branches/opname_classes/theories/experimental/syntax/OMakefile
Added	metaprl-branches/opname_classes/theories/experimental/syntax/syntax_test.ml
Properties	metaprl-branches/opname_classes/theories/experimental/syntax/syntax_test.ml
Added	metaprl-branches/opname_classes/theories/experimental/syntax/syntax_test.mli
Properties	metaprl-branches/opname_classes/theories/experimental/syntax/syntax_test.mli