[nogin] Minor ITT clean_up__ Mon Sep 19 03:18:05 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-03/2005-09-19-03-18-05-594903000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-03/2005-09-19-03-18-05-594903000-PDT.html [xiny] 1. Defined functionality in the sense of equivalence relations,_ Mon Sep 19 03:18:06 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-03/2005-09-19-03-18-06-613682000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-03/2005-09-19-03-18-06-613682000-PDT.html [xiny] 1. Replaced equality relations with equivalence relations in_ Mon Sep 19 03:18:13 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-03/2005-09-19-03-18-13-838562000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-03/2005-09-19-03-18-13-838562000-PDT.html [yegor] In process to fix problem _a__b _ b_a_ pointed by Alexei._ Mon Sep 19 03:18:20 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-03/2005-09-19-03-18-20-031475000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-03/2005-09-19-03-18-20-031475000-PDT.html [nogin] Fixing a lable problem noticed by Yegor._ Mon Sep 19 03:18:21 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-03/2005-09-19-03-18-21-505623000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-03/2005-09-19-03-18-21-505623000-PDT.html [xiny] 1. Added properties that _e _ a _ a _ e_ and _a _ e _ e _ a_._ Mon Sep 19 03:18:22 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-03/2005-09-19-03-18-22-148322000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-03/2005-09-19-03-18-22-148322000-PDT.html [emre] Modify my TODO file so that I actually remember_ Mon Sep 19 03:18:23 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-03/2005-09-19-03-18-23-609171000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-03/2005-09-19-03-18-23-609171000-PDT.html [nogin] I am committing David Bustos_ changes to the cons build system for Metaprl._ Mon Sep 19 03:18:23 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-03/2005-09-19-03-18-23-980975000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-03/2005-09-19-03-18-23-980975000-PDT.html [emre] I_ve renamed theories/mc/fir_eval to use my_ Mon Sep 19 03:18:25 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-03/2005-09-19-03-18-25-631821000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-03/2005-09-19-03-18-25-631821000-PDT.html [xiny] 1. Minor changes in the introduction rule for equivalence relations__ Mon Sep 19 03:18:28 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-03/2005-09-19-03-18-28-290155000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-03/2005-09-19-03-18-28-290155000-PDT.html [xiny] Added the elimination form of the unique inverse rule._ Mon Sep 19 03:19:07 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-03/2005-09-19-03-19-07-996025000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-03/2005-09-19-03-19-07-996025000-PDT.html [xiny] 1. Changed the definition of subgroup__g_ _s__ _s is now a _label__ Mon Sep 19 03:19:09 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-03/2005-09-19-03-19-09-057639000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-03/2005-09-19-03-19-09-057639000-PDT.html [xiny] 1. Changed the definition of cyclic subgroups from cyclic_subgroup__g__ Mon Sep 19 03:19:13 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-03/2005-09-19-03-19-13-113133000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-03/2005-09-19-03-19-13-113133000-PDT.html [xiny] 1. Changed the definition of cyclic groups from cyclic_group__g__a__ Mon Sep 19 03:19:13 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-03/2005-09-19-03-19-13-710247000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-03/2005-09-19-03-19-13-710247000-PDT.html [xiny] This completes the committion of czf_itt_cyclic_subgroup._ Mon Sep 19 03:19:15 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-03/2005-09-19-03-19-15-341233000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-03/2005-09-19-03-19-15-341233000-PDT.html [emre] Updated theories/mc/Makefile to_ Mon Sep 19 03:19:19 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-03/2005-09-19-03-19-19-876878000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-03/2005-09-19-03-19-19-876878000-PDT.html [nogin] Added a _favicon_ to default.html install.html _Mozilla_only since IE wants them to be .ico__ Mon Sep 19 03:19:20 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-03/2005-09-19-03-19-20-278472000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-03/2005-09-19-03-19-20-278472000-PDT.html [yegor] Arithmetic relations in conclusion is also processed now._ Mon Sep 19 03:19:21 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-03/2005-09-19-03-19-21-121859000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-03/2005-09-19-03-19-21-121859000-PDT.html [xiny] Added and proved the rule for the property _if a is equivalent to b_ Mon Sep 19 03:19:27 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-03/2005-09-19-03-19-27-664200000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-03/2005-09-19-03-19-27-664200000-PDT.html [xiny] Changed the definition of abelian groups completely. An abelian_ Mon Sep 19 03:19:35 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-03/2005-09-19-03-19-35-362005000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-03/2005-09-19-03-19-35-362005000-PDT.html [xiny] Added the definition for _set builder_, i.e., the image of a set s_ Mon Sep 19 03:19:36 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-03/2005-09-19-03-19-36-202751000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-03/2005-09-19-03-19-36-202751000-PDT.html [xiny] Added the module for the inverse image of set t in set s under function f__ Mon Sep 19 03:19:37 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-03/2005-09-19-03-19-37-952059000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-03/2005-09-19-03-19-37-952059000-PDT.html [xiny] Defined homomorphism for groups. A map f of a group G into a group G__ Mon Sep 19 03:19:38 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-03/2005-09-19-03-19-38-896634000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-03/2005-09-19-03-19-38-896634000-PDT.html [xiny] Updated to reflect new file names._ Mon Sep 19 03:19:41 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-03/2005-09-19-03-19-41-620889000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-03/2005-09-19-03-19-41-620889000-PDT.html [xiny] 1. The original equivTransT was wrong. Changed the original equivTrans1T_ Mon Sep 19 03:19:41 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-03/2005-09-19-03-19-41-996558000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-03/2005-09-19-03-19-41-996558000-PDT.html [emre] Updating files to reflect the newest version of the MC FIR _which happens to be_ Mon Sep 19 03:20:20 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-03/2005-09-19-03-20-20-210897000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-03/2005-09-19-03-20-20-210897000-PDT.html [emre] Test cases for the _connection_ code are pretty much complete._ Mon Sep 19 03:20:30 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-03/2005-09-19-03-20-30-059111000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-03/2005-09-19-03-20-30-059111000-PDT.html