Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2001-03-02 03:19:24 -0800 (Fri, 02 Mar 2001)
Revision: 3161
Log message:

      All proofs fixed to be consistent with last modification of sqeq
      

Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2001-03-02 04:48:37 -0800 (Fri, 02 Mar 2001)
Revision: 3162
Log message:

      More uni_minus -> minus renames
      

Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2001-03-02 05:56:49 -0800 (Fri, 02 Mar 2001)
Revision: 3163
Log message:

      ~-rules are duplicated by appropriate rewrites
      

Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2001-03-05 06:19:29 -0800 (Mon, 05 Mar 2001)
Revision: 3170
Log message:

      Just a begining of lt_mulPositMono proof
      

Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2001-03-06 05:13:06 -0800 (Tue, 06 Mar 2001)
Revision: 3174
Log message:

      primitive lt_squashElimination is added
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2001-03-06 17:01:33 -0800 (Tue, 06 Mar 2001)
Revision: 3175
Log message:

      Turned Itt_struct.hypothesis, Itt_unit.unit_squashElimination and
      Itt_void.void_squashElimination into "interactive" from "prim".
      
      Documented additional work that needs to be done to make squashT implementation
      more sensible.
      

Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2001-03-07 05:02:26 -0800 (Wed, 07 Mar 2001)
Revision: 3176
Log message:

      Term construction/decomposition functions added for "bor"
      decideC, decide amd decideT added. May be it is better to call its split...
      

Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2001-03-07 05:17:36 -0800 (Wed, 07 Mar 2001)
Revision: 3177
Log message:

      sub_wf added
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2001-03-13 11:56:11 -0800 (Tue, 13 Mar 2001)
Revision: 3180
Log message:

      Added the list of all the MetaPRL debug variables to the Developer's Guide.
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2001-03-13 11:59:23 -0800 (Tue, 13 Mar 2001)
Revision: 3181
Log message:

      Updated the URL.
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2001-03-24 10:03:11 -0800 (Sat, 24 Mar 2001)
Revision: 3193
Log message:

      Fixed the show_loading statements to ensure we do not have the same ones
      in different files.
      Thanks to Morten <mrhiger@daimi.au.dk> for noticing this problem.