Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-04-09 11:26:13 -0700 (Thu, 09 Apr 1998)
Revision: 2117
Log message:

      Working compiler once again.
      

Changes  Path
+4 -4 metaprl/filter/Makefile
+4 -2 metaprl/filter/filter_ast.ml
+8 -2 metaprl/filter/filter_bin.ml
+18 -2 metaprl/filter/filter_cache.ml
+8 -5 metaprl/filter/filter_cache_fun.ml
+19 -11 metaprl/filter/filter_parse.ml
+40 -5 metaprl/filter/filter_prog.ml
+10 -4 metaprl/filter/filter_prog.mli
+15 -11 metaprl/filter/filter_summary.ml
+5 -2 metaprl/library/registry.ml
Properties metaprl/mllib
+14 -10 metaprl/refiner/simple_print.ml
+8 -2 metaprl/refiner/term_util.ml
+4 -0 metaprl/theories/itt/itt_dprod.ml
+7 -6 metaprl/theories/itt/itt_equal.ml
+4 -0 metaprl/theories/itt/itt_fun.ml
+4 -0 metaprl/theories/itt/itt_int.ml
+5 -2 metaprl/theories/itt/itt_int.mli
+4 -0 metaprl/theories/itt/itt_isect.ml
+4 -0 metaprl/theories/itt/itt_list.ml
+4 -0 metaprl/theories/itt/itt_prod.ml
+4 -0 metaprl/theories/itt/itt_quotient.ml
+2 -0 metaprl/theories/itt/itt_redrules.ml
+4 -0 metaprl/theories/itt/itt_rfun.ml
+5 -2 metaprl/theories/itt/itt_set.mli
+4 -0 metaprl/theories/itt/itt_union.ml
+4 -0 metaprl/theories/itt/itt_unit.ml
+4 -0 metaprl/theories/itt/itt_void.ml
+3 -0 metaprl/theories/itt/itt_void.mli
+4 -1 metaprl/theories/tactic/tacticals.ml