[yegor] All proofs fixed to be consistent with last modification of sqeq_ Mon Sep 19 02:48:57 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2001-03/2005-09-19-02-48-57-128709000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2001-03/2005-09-19-02-48-57-128709000-PDT.html [yegor] More uni_minus __ minus renames_ Mon Sep 19 02:49:04 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2001-03/2005-09-19-02-49-04-462957000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2001-03/2005-09-19-02-49-04-462957000-PDT.html [yegor] __rules are duplicated by appropriate rewrites_ Mon Sep 19 02:49:06 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2001-03/2005-09-19-02-49-06-379745000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2001-03/2005-09-19-02-49-06-379745000-PDT.html [yegor] Just a begining of lt_mulPositMono proof_ Mon Sep 19 02:49:11 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2001-03/2005-09-19-02-49-11-808233000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2001-03/2005-09-19-02-49-11-808233000-PDT.html [yegor] primitive lt_squashElimination is added_ Mon Sep 19 02:49:15 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2001-03/2005-09-19-02-49-15-692735000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2001-03/2005-09-19-02-49-15-692735000-PDT.html [nogin] Turned Itt_struct.hypothesis, Itt_unit.unit_squashElimination and_ Mon Sep 19 02:49:16 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2001-03/2005-09-19-02-49-16-086901000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2001-03/2005-09-19-02-49-16-086901000-PDT.html [yegor] Term construction/decomposition functions added for _bor__ Mon Sep 19 02:49:21 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2001-03/2005-09-19-02-49-21-482598000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2001-03/2005-09-19-02-49-21-482598000-PDT.html [yegor] sub_wf added_ Mon Sep 19 02:49:27 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2001-03/2005-09-19-02-49-27-956919000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2001-03/2005-09-19-02-49-27-956919000-PDT.html [nogin] Added the list of all the MetaPRL debug variables to the Developer_s Guide._ Mon Sep 19 02:49:31 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2001-03/2005-09-19-02-49-31-167586000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2001-03/2005-09-19-02-49-31-167586000-PDT.html [nogin] Updated the URL._ Mon Sep 19 02:49:31 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2001-03/2005-09-19-02-49-31-981202000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2001-03/2005-09-19-02-49-31-981202000-PDT.html [nogin] Fixed the show_loading statements to ensure we do not have the same ones_ Mon Sep 19 02:50:22 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2001-03/2005-09-19-02-50-22-633996000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2001-03/2005-09-19-02-50-22-633996000-PDT.html