[kopylov] I define the Stack type as an example of_ Mon Sep 19 03:15:56 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2001-12/2005-09-19-03-15-56-436594000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2001-12/2005-09-19-03-15-56-436594000-PDT.html [kopylov] I_ve proved ssociativity for dependent intersection._ Mon Sep 19 03:16:00 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2001-12/2005-09-19-03-16-00-444959000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2001-12/2005-09-19-03-16-00-444959000-PDT.html [nogin] Somehow CVS thinks this is alive, removing._ Mon Sep 19 03:16:02 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2001-12/2005-09-19-03-16-02-259029000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2001-12/2005-09-19-03-16-02-259029000-PDT.html [nogin] Fixed bug _11._ Mon Sep 19 03:16:02 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2001-12/2005-09-19-03-16-02-798236000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2001-12/2005-09-19-03-16-02-798236000-PDT.html [nogin] Fixed bug _10 _ now the term_match_table fall_back mechanism is more complete._ Mon Sep 19 03:16:03 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2001-12/2005-09-19-03-16-03-149317000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2001-12/2005-09-19-03-16-03-149317000-PDT.html [emre] Many changes__ Mon Sep 19 03:16:04 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2001-12/2005-09-19-03-16-04-829443000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2001-12/2005-09-19-03-16-04-829443000-PDT.html [nogin] Updated my line._ Mon Sep 19 03:16:09 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2001-12/2005-09-19-03-16-09-008980000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2001-12/2005-09-19-03-16-09-008980000-PDT.html [emre] A final commit before I take off for the break._ Mon Sep 19 03:16:09 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2001-12/2005-09-19-03-16-09-694668000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2001-12/2005-09-19-03-16-09-694668000-PDT.html [emre] _ Removed util/Construct since it seems to be_ Mon Sep 19 03:16:10 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2001-12/2005-09-19-03-16-10-366248000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2001-12/2005-09-19-03-16-10-366248000-PDT.html