Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-11-04 14:07:15 -0800 (Fri, 04 Nov 2005)
Revision: 8097
Log message:

      Apparently we had forgotten to save string attributes to the IO proof
      terms.
      

Changes  Path
+18 -17 metaprl/tactics/proof/proof_boot.ml
+4 -0 metaprl/tactics/proof/tactic_boot.ml
+1 -0 metaprl/theories/poplmark/naive/OMakefile
+0 -10 metaprl/theories/poplmark/naive/pmn_core_terms.ml
+1658 -1869 metaprl/theories/poplmark/naive/pmn_core_terms.prla
Deleted metaprl/theories/poplmark/naive/pmn_core_terms_old.ml
Deleted metaprl/theories/poplmark/naive/pmn_core_terms_old.mli
Deleted metaprl/theories/poplmark/naive/pmn_core_terms_old.prla
Copied metaprl/theories/poplmark/naive/pmn_core_terms_test.ml
Copied metaprl/theories/poplmark/naive/pmn_core_terms_test.mli
Copied metaprl/theories/poplmark/naive/pmn_core_terms_test.prla