Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-12-06 17:10:10 -0800 (Mon, 06 Dec 2004)
Revision: 6333
Log message:
Removed reduce_fix and reduce_ycomb from the reduce resource (to avoid
infinite loops in reduceC, reduceT, byDefT, etc).
Alexei: this broke /itt_record0/recordTIntro1, please take a look.
Changes | Path |
+1937 -2842 | metaprl/theories/itt/ctt_markov.prla |
+3 -4 | metaprl/theories/itt/itt_record_exm.ml |
+2 -2 | metaprl/theories/itt/itt_rfun.ml |