Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2001-06-24 14:45:02 -0700 (Sun, 24 Jun 2001)
Revision: 3297
Log message:

      Resource intermediate data type is irrelevant, so they are no longer required
      in the resource declaration.
      

Changes  Path
+2 -4 metaprl/filter/base/filter_ocaml.ml
+2 -3 metaprl/filter/base/filter_prog.ml
+1 -6 metaprl/filter/base/filter_summary.ml
+4 -5 metaprl/filter/base/filter_type.ml
+1 -2 metaprl/filter/filter/filter_parse.ml
+0 -1 metaprl/theories/base/base_auto_tactic.ml
+3 -7 metaprl/theories/base/base_auto_tactic.mli
+0 -4 metaprl/theories/base/base_cache.ml
+1 -2 metaprl/theories/base/base_cache.mli
+0 -2 metaprl/theories/base/base_dtactic.ml
+2 -7 metaprl/theories/base/base_dtactic.mli
+0 -2 metaprl/theories/base/typeinf.ml
+2 -7 metaprl/theories/base/typeinf.mli
+0 -1 metaprl/theories/itt/itt_decidable.ml
+1 -2 metaprl/theories/itt/itt_decidable.mli
+0 -5 metaprl/theories/itt/itt_equal.ml
+1 -2 metaprl/theories/itt/itt_equal.mli
+2 -8 metaprl/theories/itt/itt_squash.ml
+1 -2 metaprl/theories/itt/itt_squash.mli
+0 -4 metaprl/theories/itt/itt_subtype.ml
+1 -5 metaprl/theories/itt/itt_subtype.mli
+3 -3 metaprl/theories/tactic/mptop.mli
+0 -1 metaprl/theories/tactic/top_conversionals.ml
+1 -2 metaprl/theories/tactic/top_conversionals.mli