[xiny] Redefined _inv_image_ with _sep_._Mon Sep 19 03:22:02 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-22-02-107758000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-22-02-107758000-PDT.html[xiny] Removed _setbvd_prop_ which can be implemented with _sep_._Mon Sep 19 03:22:02 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-22-02-997406000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-22-02-997406000-PDT.html[xiny] Replaced the use of _setbvd_prop_ with _sep_._Mon Sep 19 03:22:03 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-22-03-711463000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-22-03-711463000-PDT.html[] This commit was manufactured by cvs2svn to create tag_Mon Sep 19 03:22:15 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-22-16-000527000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-22-16-000527000-PDT.html[] This commit was manufactured by cvs2svn to create branch _ocaml_3_04_._Mon Sep 19 03:22:32 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-22-32-618001000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-22-32-618001000-PDT.html[jyh] This is a branch commit that upgrades to ocaml3.04._Mon Sep 19 03:22:48 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-22-48-930039000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-22-48-930039000-PDT.html[emre] Changing some conscripts so that .cmxa targets are no longer_Mon Sep 19 03:22:50 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-22-50-853385000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-22-50-853385000-PDT.html[emre] Instead of a hard coded flag in the Conscript to determine_Mon Sep 19 03:22:51 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-22-51-450970000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-22-51-450970000-PDT.html[nogin] Minor changes for 3.04._Mon Sep 19 03:22:51 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-22-51-816401000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-22-51-816401000-PDT.html[jyh] The .prla problem should be fixed. MetaPRL compiles both_Mon Sep 19 03:22:52 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-22-52-302829000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-22-52-302829000-PDT.html[emre] ___ empty log message ____Mon Sep 19 03:26:13 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-26-13-990345000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-26-13-990345000-PDT.html[emre] Forgot to add these 2 files in the last commit._Mon Sep 19 03:26:15 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-26-15-104509000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-26-15-104509000-PDT.html[xiny] Removed the tactic equalSubsetT, since it is the same as setExtT defined_Mon Sep 19 03:26:15 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-26-15-767276000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-26-15-767276000-PDT.html[xiny] Minor change in comments._Mon Sep 19 03:26:53 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-26-53-207717000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-26-53-207717000-PDT.html[nogin] _ Changed the top_bookmark implementation to make it more explicit that_Mon Sep 19 03:26:54 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-26-54-396581000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-26-54-396581000-PDT.html[granicz] Just testing my write access... Sorry._Mon Sep 19 03:26:55 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-26-55-222179000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-26-55-222179000-PDT.html[xiny] For the comment purposes._Mon Sep 19 03:26:55 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-26-55-593521000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-26-55-593521000-PDT.html[granicz] Separated preFIR term declarations._Mon Sep 19 03:26:56 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-26-56-265853000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-26-56-265853000-PDT.html[emre] Okay, a few little changes here__Mon Sep 19 03:26:58 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-26-58-623148000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-26-58-623148000-PDT.html[nogin] This should be a no_op commit. I_ve rearranged the code in filter_ocaml.ml_Mon Sep 19 03:27:00 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-27-00-329614000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-27-00-329614000-PDT.html[emre] Updating Makefile to reflect new files._Mon Sep 19 03:27:02 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-27-02-283933000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-27-02-283933000-PDT.html[emre] _ Adding another program for testing purposes._Mon Sep 19 03:27:02 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-27-02-643058000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-27-02-643058000-PDT.html[emre] Okay, this is somewhat major change for those of you using cons to build_Mon Sep 19 03:27:03 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-27-03-710063000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-27-03-710063000-PDT.html[emre] Fixing the Conscript so that it actually builds some files._Mon Sep 19 03:27:04 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-27-04-656760000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-27-04-656760000-PDT.html[granicz] Apply reduceC to term..._Mon Sep 19 03:27:05 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-27-05-025821000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-27-05-025821000-PDT.html[emre] Working on adding the terms and conversion_Mon Sep 19 03:27:05 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-27-05-468177000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-27-05-468177000-PDT.html[xiny] Changed the definition for cosets from set builder to separation._Mon Sep 19 03:27:06 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-27-06-089870000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-27-06-089870000-PDT.html[granicz] Phobos returns a term and a list of _term_term_ pairs that represent_Mon Sep 19 03:27:30 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-27-30-194931000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-27-30-194931000-PDT.html[xiny] Finished the comment part._Mon Sep 19 03:27:30 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-27-30-609018000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-27-30-609018000-PDT.html[jyh] Added _input forms_ that are the input analogy to display forms._Mon Sep 19 03:28:03 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-28-03-543036000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-28-03-543036000-PDT.html[nogin] More structural changes to speed up compilation._Mon Sep 19 03:28:04 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-28-04-923624000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-28-04-923624000-PDT.html[granicz] Print those rewrites that we get from Phobos. Just a copy of what I have_Mon Sep 19 03:28:07 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-28-07-509836000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-28-07-509836000-PDT.html[emre] Adding some minimal display forms._Mon Sep 19 03:28:08 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-28-08-096719000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-28-08-096719000-PDT.html[nogin] Merging the ocaml_3_04 branch._Mon Sep 19 03:28:08 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-28-08-532867000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-28-08-532867000-PDT.html[xiny] Corrected the functionality axioms for the operation and inverse._Mon Sep 19 03:31:22 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-31-22-038432000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-31-22-038432000-PDT.html[xiny] Updated the _pair_eq_ rule to make it more powerful._Mon Sep 19 03:31:24 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-31-24-270422000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-31-24-270422000-PDT.html[xiny] Added an example of group_ the klein 4_group._Mon Sep 19 03:31:26 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-31-26-970500000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-31-26-970500000-PDT.html[emre] Cleaning up FIR evaluation / operational semantics. The substantively new_Mon Sep 19 03:31:31 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-31-31-788143000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-31-31-788143000-PDT.html[emre] Cleaning up idOp rewrites. _I don_t like how_Mon Sep 19 03:31:32 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-31-32-694810000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-31-32-694810000-PDT.html[emre] Adding a simple test case that demonstrates a problem_Mon Sep 19 03:31:33 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-31-33-114492000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-31-33-114492000-PDT.html[xiny] Added comments._Mon Sep 19 03:31:33 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-31-33-530391000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-31-33-530391000-PDT.html[granicz] Phobos iforms are finally working._Mon Sep 19 03:31:54 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-31-54-236245000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-31-54-236245000-PDT.html[emre] Minor comment modification in mp_mc_compile._Mon Sep 19 03:31:54 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-31-54-762663000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-31-54-762663000-PDT.html[emre] Removing the mp_mc_fir_phobos_ files from_Mon Sep 19 03:31:55 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-31-55-174061000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-31-55-174061000-PDT.html[emre] Changing fundef term declaration. In particular, the argument_Mon Sep 19 03:31:55 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-31-55-580216000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-31-55-580216000-PDT.html[granicz] Included Itt_list and Itt_list2 in Mp_mc_theory._Mon Sep 19 03:31:56 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-31-56-015947000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-31-56-015947000-PDT.html[emre] Committing part one of inlining. This is most of the_Mon Sep 19 03:31:56 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-31-56-468409000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-31-56-468409000-PDT.html[xiny] Defining groups does not really need equivalence relations, so I changed the group system by replacing equivalence relation with equality. Every occurance was modified and every related rule was reproved._Mon Sep 19 03:31:57 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-31-57-156365000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-31-57-156365000-PDT.html[xiny] Forgot these in the last commit._Mon Sep 19 03:36:10 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-36-10-253521000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-36-10-253521000-PDT.html[emre] Implementing the fundef conversion code correctly now._Mon Sep 19 03:36:12 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-36-12-166682000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-36-12-166682000-PDT.html[emre] Committing the 2nd part of the inling code I_ve written._Mon Sep 19 03:36:12 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-36-12-615812000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-36-12-615812000-PDT.html[justins] Correcting hard_coded paths in the Conscript files which prevent successful_Mon Sep 19 03:36:13 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-36-13-232235000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-36-13-232235000-PDT.html[nogin] We also have 7.x RPMs._Mon Sep 19 03:36:13 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-36-13-828335000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-36-13-828335000-PDT.html[granicz] Allowed string__token and string__number parameter conversion in_Mon Sep 19 03:36:14 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-36-14-212914000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-36-14-212914000-PDT.html[granicz] Changed tailCall to tailCall_com._Mon Sep 19 03:36:14 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-36-14-672667000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-36-14-672667000-PDT.html[justins] Removing hard_coded stuff from util/Conscript_ this information is all_Mon Sep 19 03:36:15 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-36-15-063767000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-36-15-063767000-PDT.html[nogin] Added itt_collection to theories.pdf_Mon Sep 19 03:36:16 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-36-16-656515000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-36-16-656515000-PDT.html[granicz] Forgot to update mp_mc_fir_phobos_exp.mli with the tailCall change._Mon Sep 19 03:36:18 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-36-18-074662000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-36-18-074662000-PDT.html[kopylov] Change the grammar for terms a little bit._Mon Sep 19 03:36:19 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-36-19-637038000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-36-19-637038000-PDT.html[justins] ___WARNING____Mon Sep 19 03:36:21 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-36-21-037538000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-36-21-037538000-PDT.html[justins] Removing default targets from Conscript files. Those of you on MCC,_Mon Sep 19 03:36:23 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-36-23-132411000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-36-23-132411000-PDT.html[jyh] Added a Boolean flag to create_iform to control the use of_Mon Sep 19 03:36:24 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-36-24-109580000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-36-24-109580000-PDT.html[nogin] Got rid of BackwardsCompatibleLevel params._Mon Sep 19 03:36:26 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-36-26-142312000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-36-26-142312000-PDT.html[] This commit was manufactured by cvs2svn to create branch_Mon Sep 19 03:36:26 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-36-26-884907000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-36-26-884907000-PDT.html[kopylov] Extend grammar._Mon Sep 19 03:36:31 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-36-31-760141000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-36-31-760141000-PDT.html[nogin] _ Removed the .prla files that didn_t contain any actual proofs._Mon Sep 19 03:36:32 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-36-32-332834000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-36-32-332834000-PDT.html[nogin] Cleaned up the legacy stuff _Itt_equal_member, etc_ somewhat._Mon Sep 19 03:37:31 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-37-31-834296000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-37-31-834296000-PDT.html[kopylov] Updated userguide._Mon Sep 19 03:37:34 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-37-34-926247000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-37-34-926247000-PDT.html[kopylov] Minor changes_Mon Sep 19 03:37:38 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-37-38-656467000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-37-38-656467000-PDT.html[kopylov] Minor change_Mon Sep 19 03:37:39 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-37-39-060803000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-37-39-060803000-PDT.html[emre] This is a lot of little changes._Mon Sep 19 03:37:39 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-37-39-466772000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-37-39-466772000-PDT.html[emre] Now that I_ve corrected my one word typo in_Mon Sep 19 03:37:42 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-37-42-567212000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-37-42-567212000-PDT.html[emre] My final set of code/comment clean_ups for the night._Mon Sep 19 03:37:44 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-37-44-336717000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-37-44-336717000-PDT.html[nogin] Docs_ Fixed most undefined references._Mon Sep 19 03:37:45 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-37-45-151459000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-37-45-151459000-PDT.html[emre] Forgot a _docoff directive._Mon Sep 19 03:37:47 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-37-47-469669000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-37-47-469669000-PDT.html[granicz] Do not execute inline code if there are no inline terms coming from Phobos._Mon Sep 19 03:37:47 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-37-47-878044000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-37-47-878044000-PDT.html[xiny] Changed one of the two associative axioms to a regular rule which can be proved from the other._Mon Sep 19 03:37:48 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-37-48-251229000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-37-48-251229000-PDT.html[xiny] The former definition for group builder was not consistent. Now group_bvd_h_ g_ s_ also requires that subset_s_ car_g__. From it, it can be proven that id_h_ _ id_g_ and inv_h_ a_ _ inv_g_ a_ for all a in car_h_._Mon Sep 19 03:37:50 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-37-50-095935000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-37-50-095935000-PDT.html[nogin] Got rid of reflect_itt _ it_s pretty outdated_Mon Sep 19 03:37:58 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-37-58-617316000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-37-58-617316000-PDT.html[nogin] Cleaned up TPTP._Mon Sep 19 03:38:19 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-38-19-621188000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-38-19-621188000-PDT.html[nogin] Got rid of some legacy compatibility code that_s no longer relevant._Mon Sep 19 03:38:38 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-38-38-196384000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-38-38-196384000-PDT.html[emre] Adding operational semantics for eqEqOp._Mon Sep 19 03:38:38 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-38-38-746710000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-38-38-746710000-PDT.html[justins] Fixing numerous compiler warnings in clib. Most of these have to do with_Mon Sep 19 03:38:39 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-38-39-166868000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-38-39-166868000-PDT.html[nogin] More clib clean_up._Mon Sep 19 03:38:40 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-38-40-057413000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-38-40-057413000-PDT.html[nogin] Changed the meta_lt and meta_eq implementation to be safer._Mon Sep 19 03:38:42 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-38-42-587230000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-38-42-587230000-PDT.html[emre] Updating the Conscript to reflect the removed register.c file._Mon Sep 19 03:38:43 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-38-43-361152000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-38-43-361152000-PDT.html[nogin] Added to theories.pdf__Mon Sep 19 03:39:17 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-39-17-821825000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-39-17-821825000-PDT.html[granicz] Adding base_meta rewrites _only for ___/_ to be applied to all_Mon Sep 19 03:39:18 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-39-18-452998000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-39-18-452998000-PDT.html[emre] Updates to reflect the new MCC FIR. I_ve just_Mon Sep 19 03:39:18 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-39-18-907789000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-39-18-907789000-PDT.html[xiny] Changed the definition of the carrier in cyclic subgroups/groups from_Mon Sep 19 03:39:21 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-39-21-027865000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-39-21-027865000-PDT.html[xiny] More changes in the comments._Mon Sep 19 03:39:30 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-39-30-458062000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-39-30-458062000-PDT.html[xiny] Removed all occurences of _rwh unfold_group_bvd ..._ in the proof._Mon Sep 19 03:39:30 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-39-30-969751000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-39-30-969751000-PDT.html[granicz] A bit easier_to_read output from Phobos activity._Mon Sep 19 03:40:01 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-40-01-061261000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-40-01-061261000-PDT.html[xiny] Changed the occurences of set_bvd to sep, since set_bvd is defined by collection._Mon Sep 19 03:40:01 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-40-01-582611000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-40-01-582611000-PDT.html[xiny] Rebuilt the prla file._Mon Sep 19 03:40:03 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-40-03-807595000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-40-03-807595000-PDT.html[xiny] Minor changes in comments._Mon Sep 19 03:40:04 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-40-04-463044000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-40-04-463044000-PDT.html[granicz] Added more functionality to interface with Phobos._Mon Sep 19 03:40:04 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-40-04-936108000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-40-04-936108000-PDT.html[xiny] Updated comments._Mon Sep 19 03:40:05 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-40-05-439672000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-40-05-439672000-PDT.html[granicz] Return idC if no iforms are given._Mon Sep 19 03:40:06 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-40-06-328954000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-40-06-328954000-PDT.html[nogin] I forgot to remove register.mlz when removing register.c_Mon Sep 19 03:40:06 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-40-06-788791000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-40-06-788791000-PDT.html[nogin] Added edit_cd_list_contents for Lori._Mon Sep 19 03:40:07 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-40-07-437219000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-05/2005-09-19-03-40-07-437219000-PDT.html