[nogin] Reordered theory inclusiong to be more reasonable and better match their order_ Mon Sep 19 03:41:04 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-07/2005-09-19-03-41-04-343271000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-07/2005-09-19-03-41-04-343271000-PDT.html [nogin] Be more clean on _make clean_._ Mon Sep 19 03:41:04 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-07/2005-09-19-03-41-04-735338000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-07/2005-09-19-03-41-04-735338000-PDT.html [nogin] Print the OSTYPE error message on stderr instead of stdout._ Mon Sep 19 03:41:05 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-07/2005-09-19-03-41-05-088123000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-07/2005-09-19-03-41-05-088123000-PDT.html [nogin] esquash is squash_stable._ Mon Sep 19 03:41:05 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-07/2005-09-19-03-41-05-474296000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-07/2005-09-19-03-41-05-474296000-PDT.html [nogin] Added elimination rules for equality in an intersection type._ Mon Sep 19 03:41:05 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-07/2005-09-19-03-41-05-821126000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-07/2005-09-19-03-41-05-821126000-PDT.html [nogin] Added a theory on uniqueness of a type with a given equality relation._ Mon Sep 19 03:41:11 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-07/2005-09-19-03-41-11-473392000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-07/2005-09-19-03-41-11-473392000-PDT.html [justins] This hack is necessary for certain older perl versions to parse the_ Mon Sep 19 03:41:14 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-07/2005-09-19-03-41-14-574555000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-07/2005-09-19-03-41-14-574555000-PDT.html [nogin] Added itt_pointwise to theories.pdf_ Mon Sep 19 03:41:16 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-07/2005-09-19-03-41-16-107351000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-07/2005-09-19-03-41-16-107351000-PDT.html [lolorigo] updates to nuprl/metaprl link including parameterization of jprover multiplicity,etc._ Mon Sep 19 03:41:16 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-07/2005-09-19-03-41-16-521483000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-07/2005-09-19-03-41-16-521483000-PDT.html