[xiny] Removed the introduction rule for _equiv_ since it made proofs awkard_ Mon Sep 19 03:20:31 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-20-31-636503000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-20-31-636503000-PDT.html [xiny] 1. Added _eqG_ to the definition of groups which denotes the equivalence_ Mon Sep 19 03:20:37 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-20-37-151833000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-20-37-151833000-PDT.html [xiny] Removed useless stuffs previously in comments._ Mon Sep 19 03:20:47 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-20-47-716223000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-20-47-716223000-PDT.html [xiny] Updated the definition and rules for abelian groups due to the adding_ Mon Sep 19 03:20:48 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-20-48-824081000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-20-48-824081000-PDT.html [xiny] 1. Changed the representation of subgroups_ it looks more natural now._ Mon Sep 19 03:20:50 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-20-50-710410000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-20-50-710410000-PDT.html [xiny] 1. Changed the representation of cyclic subgroups_ it looks more_ Mon Sep 19 03:20:53 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-20-53-940575000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-20-53-940575000-PDT.html [xiny] 1. Changed the rewrite rule for cyclic groups. Previously it was defined_ Mon Sep 19 03:21:00 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-21-00-467414000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-21-00-467414000-PDT.html [xiny] Changed def of homomorphisms and reproved all rules__ Mon Sep 19 03:21:03 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-21-03-073276000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-21-03-073276000-PDT.html [xiny] Changed the definition of subgroups_ fixed the errors in defining the_ Mon Sep 19 03:21:11 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-21-11-665154000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-21-11-665154000-PDT.html [xiny] Changed the definition of cyclic subgroups_ fixed the previous error in_ Mon Sep 19 03:21:15 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-21-15-174280000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-21-15-174280000-PDT.html [emre] So, I_ve defined the compile function in Mp_mc_compile to actually_ Mon Sep 19 03:21:16 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-21-16-832368000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-21-16-832368000-PDT.html [emre] Updates to reflect the _ever changing_ MC FIR._ Mon Sep 19 03:21:17 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-21-17-738921000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-21-17-738921000-PDT.html [emre] _ Fixed some problems in Mp_mc_fir_eval and proved_ Mon Sep 19 03:21:18 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-21-18-713053000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-21-18-713053000-PDT.html [emre] Redoing constant elimination, now that I_ve corrected_ Mon Sep 19 03:21:23 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-21-23-047078000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-21-23-047078000-PDT.html [xiny] Updated to reflect new file names._ Mon Sep 19 03:21:25 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-21-25-413760000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-21-25-413760000-PDT.html [xiny] 1. Redefined inverse image. Previously it was defined by introduction_ Mon Sep 19 03:21:25 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-21-25-770276000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-21-25-770276000-PDT.html [xiny] Added the definition for setbvd_prop. _set_bvd_ and _setbvd_prop_ are_ Mon Sep 19 03:21:26 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-21-26-615003000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-21-26-615003000-PDT.html [xiny] Defined _group builder_ group_bvd__h_ _g_ _s_ which build a group_ Mon Sep 19 03:21:27 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-21-27-723138000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-21-27-723138000-PDT.html [xiny] Updated the definition of subgroups and cyclic subgroups utilizing_ Mon Sep 19 03:21:28 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-21-28-763464000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-21-28-763464000-PDT.html [xiny] Defined cosets for subgroups__ Mon Sep 19 03:21:34 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-21-34-718568000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-21-34-718568000-PDT.html [xiny] Defined normal subgroups__ Mon Sep 19 03:21:35 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-21-35-870839000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-21-35-870839000-PDT.html [xiny] 1. Defined kernels using _hom_ and _group_bvd___ Mon Sep 19 03:21:37 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-21-37-252021000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-21-37-252021000-PDT.html [xiny] 1. Defined group isomorphisms based on group homomorphisms. An_ Mon Sep 19 03:21:45 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-21-45-662482000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-21-45-662482000-PDT.html [emre] These updates to the Conscripts allow for a compiles,_ Mon Sep 19 03:21:47 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-21-47-770469000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-21-47-770469000-PDT.html [nogin] I am adding to CVS the _UI Design Goals and Ideas_ document that was written last Fall._ Mon Sep 19 03:21:49 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-21-49-052813000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-21-49-052813000-PDT.html [nogin] This is the version from October 22, 2001._ Mon Sep 19 03:21:49 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-21-49-532240000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-21-49-532240000-PDT.html [nogin] Added names._ Mon Sep 19 03:21:49 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-21-49-965984000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-21-49-965984000-PDT.html [emre] Comitting more changes to reflect the ever changing MC FIR._ Mon Sep 19 03:21:50 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-21-50-398985000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-21-50-398985000-PDT.html [nogin] Added _make latex_ target._ Mon Sep 19 03:21:52 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-21-52-479577000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-21-52-479577000-PDT.html [emre] Committing a much needed update of the README file._ Mon Sep 19 03:21:53 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-21-53-144567000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-21-53-144567000-PDT.html [nogin] _ Added the comment module to the theories.pdf __make latex__._ Mon Sep 19 03:21:53 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-21-53-569313000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-21-53-569313000-PDT.html [kopylov] Correct a typo in CZF documentation._ Mon Sep 19 03:21:55 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-21-55-270950000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-21-55-270950000-PDT.html [nogin] Noop commit _ I_ve only fixed the CRLF/LF mixed line terminators._ Mon Sep 19 03:21:55 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-21-55-638955000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-21-55-638955000-PDT.html [emre] Adding file to specify which modules to print documentation for._ Mon Sep 19 03:21:56 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-21-56-028449000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-21-56-028449000-PDT.html [emre] Updating modules so that they generate documentation_ Mon Sep 19 03:21:56 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-21-56-440551000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-21-56-440551000-PDT.html [emre] Adding yet another term that I forgot for the FIR._ Mon Sep 19 03:21:57 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-21-57-393591000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-21-57-393591000-PDT.html [emre] Adding some documentation. Still have a long ways to go_ Mon Sep 19 03:21:57 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-21-57-964376000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-21-57-964376000-PDT.html [nogin] _ Added an option to be have _THEORIES_all_ in mk/config_ Mon Sep 19 03:21:58 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-21-58-578992000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-21-58-578992000-PDT.html [emre] Some more documentation. I_ll be able to document more things_ Mon Sep 19 03:22:00 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-22-00-404475000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-22-00-404475000-PDT.html [kopylov] Change the documentation in czf_fol again _union __ __._ Mon Sep 19 03:22:01 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-22-01-080165000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-04/2005-09-19-03-22-01-080165000-PDT.html