[nogin] A few HTML style changes to make it more conformant to HTML spec._ Mon Sep 19 03:16:13 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-01/2005-09-19-03-16-13-690406000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-01/2005-09-19-03-16-13-690406000-PDT.html [emre] 1. Re_exported fir_eval.prla._ Mon Sep 19 03:16:14 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-01/2005-09-19-03-16-14-303614000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-01/2005-09-19-03-16-14-303614000-PDT.html [emre] 1_ The main Conscript has been modified. Added lines for CPP so that MC_ Mon Sep 19 03:16:16 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-01/2005-09-19-03-16-16-777737000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-01/2005-09-19-03-16-16-777737000-PDT.html [emre] Two changes essentially__ Mon Sep 19 03:16:18 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-01/2005-09-19-03-16-18-210367000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-01/2005-09-19-03-16-18-210367000-PDT.html [emre] 1_ Added some test cases to demonstrate what_ Mon Sep 19 03:16:20 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-01/2005-09-19-03-16-20-792373000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-01/2005-09-19-03-16-20-792373000-PDT.html [emre] Adding test cases for the MC connect code._ Mon Sep 19 03:16:21 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-01/2005-09-19-03-16-21-907374000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-01/2005-09-19-03-16-21-907374000-PDT.html [emre] Adding more test cases. Some of the cases_ Mon Sep 19 03:16:22 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-01/2005-09-19-03-16-22-598143000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-01/2005-09-19-03-16-22-598143000-PDT.html [xiny] Now a workable version for groups and cyclic subgroups. Rules proved, examples added._ Mon Sep 19 03:16:23 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-01/2005-09-19-03-16-23-307374000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-01/2005-09-19-03-16-23-307374000-PDT.html [xiny] Removing some comments._ Mon Sep 19 03:16:27 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-01/2005-09-19-03-16-27-195604000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-01/2005-09-19-03-16-27-195604000-PDT.html [xiny] 1. Adopted a new representation for cyclic groups to avoid confusion._ Mon Sep 19 03:16:27 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-01/2005-09-19-03-16-27-596358000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-01/2005-09-19-03-16-27-596358000-PDT.html [xiny] Removed some comments._ Mon Sep 19 03:16:28 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-01/2005-09-19-03-16-28-198520000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-01/2005-09-19-03-16-28-198520000-PDT.html [xiny] 1. Small modifications in the proofs for _power_property2_._ Mon Sep 19 03:16:28 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-01/2005-09-19-03-16-28-556455000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-01/2005-09-19-03-16-28-556455000-PDT.html