[nogin] When changing a value of OCAMLDEP, we should _not_ rebefiner the scanner rule__Mon Sep 19 05:17:57 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-17-57-448291000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-17-57-448291000-PDT.html[nogin] Adding the full bibliographical data for the ISSRE paper._Mon Sep 19 05:17:59 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-17-59-892679000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-17-59-892679000-PDT.html[nogin] _bug 126_ Use am empty command list _instead of the non_portable echo ____Mon Sep 19 05:18:00 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-18-00-336801000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-18-00-336801000-PDT.html[yegor] Uncommented several rules that were commented out because of the weak_memo problem._Mon Sep 19 05:18:00 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-18-00-686017000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-18-00-686017000-PDT.html[kopylov] 1. Committed Alexey_s addition of thenTC._Mon Sep 19 05:18:01 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-18-01-069451000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-18-01-069451000-PDT.html[kopylov] Start Dexter Kozen_s theory of Kleene algebra with Tests._Mon Sep 19 05:18:01 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-18-01-912374000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-18-01-912374000-PDT.html[nogin] Added the full bibliography data for the TPHOLs cat B papers._Mon Sep 19 05:18:03 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-18-03-074137000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-18-03-074137000-PDT.html[kopylov] Added associative and commutative resources._Mon Sep 19 05:18:03 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-18-03-500821000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-18-03-500821000-PDT.html[kopylov] More on KAT_Mon Sep 19 05:18:04 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-18-04-131849000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-18-04-131849000-PDT.html[kopylov] Some proofs in KAT_Mon Sep 19 05:18:04 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-18-04-586953000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-18-04-586953000-PDT.html[nogin] There is no need for an explicit dependency _which just creates a warning_._Mon Sep 19 05:18:05 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-18-05-514790000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-18-05-514790000-PDT.html[kamal] Added axioms and theorems taken from the standard KAT library in KAT_ML. These do not include boolean things yet. Added kleene declaration to kat_terms.mli and kat_test to Makefile._Mon Sep 19 05:18:06 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-18-06-034492000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-18-06-034492000-PDT.html[kopylov] KAT__Mon Sep 19 05:18:06 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-18-06-786743000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-18-06-786743000-PDT.html[nogin] Adding TPHOLs 2003 cat B bibtex entries._Mon Sep 19 05:18:07 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-18-07-329266000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-18-07-329266000-PDT.html[yegor] 1.Renaming_ rename_mul_add/rename_add_mul/as_additive were not delcared in .mli_Mon Sep 19 05:18:08 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-18-08-504927000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-18-08-504927000-PDT.html[yegor] 1. rename__ was not declared in itt_record_renaming.mli_Mon Sep 19 05:18:13 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-18-13-913908000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-18-13-913908000-PDT.html[yegor] Very preliminary version of fields._Mon Sep 19 05:18:18 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-18-18-964813000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-18-18-964813000-PDT.html[yegor] Two more files had rules commented out because of weak_memo problem._Mon Sep 19 05:18:19 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-18-19-708249000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-18-19-708249000-PDT.html[nogin] Declare the denerated files _to make sure dependencies are done properly_._Mon Sep 19 05:18:20 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-18-20-185030000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-18-20-185030000-PDT.html[nogin] Minor clean_up._Mon Sep 19 05:18:20 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-18-20-544070000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-18-20-544070000-PDT.html[yegor] 1. _car_0_ renamed to car0_Mon Sep 19 05:18:20 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-18-20-964605000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-18-20-964605000-PDT.html[yegor] 1.Major ___ change in label_dependent tacticals semantics_Mon Sep 19 05:18:21 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-18-21-455481000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-18-21-455481000-PDT.html[] This commit was manufactured by cvs2svn to create branch_Mon Sep 19 05:18:22 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-18-22-333094000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-18-22-333094000-PDT.html[yegor] Typp fixed _a__b is not the same as a__b in T_._Mon Sep 19 05:18:27 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-18-27-407355000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-18-27-407355000-PDT.html[yegor] display form for int changed from mathbbZ to int_Mon Sep 19 05:18:27 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-18-27-872504000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-18-27-872504000-PDT.html[yegor] Unintentionally replaced AllHyps_tacticals with AllCumulativeHyps_tacticals._Mon Sep 19 05:18:28 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-18-28-645486000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-18-28-645486000-PDT.html[yegor] Broken prove fixed. There was a _... thenWT autoT_ deep under wf_subgoal._Mon Sep 19 05:18:29 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-18-29-013303000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-18-29-013303000-PDT.html[yegor] Some kind of problem fixed._Mon Sep 19 05:18:37 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-18-37-499243000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-18-37-499243000-PDT.html[nogin] _ Removed the seminars page _in made sense when all PRL stuff was done_Mon Sep 19 05:18:39 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-18-39-497328000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-18-39-497328000-PDT.html[nogin] _ Adding proofs for some of the rules added by Alexei in_Mon Sep 19 05:18:40 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-18-40-129267000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-18-40-129267000-PDT.html[kamal] Added files corresponding to KAT_ML libraries_Mon Sep 19 05:21:55 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-21-55-476032000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-21-55-476032000-PDT.html[nogin] Clean up some weird code _which is currently unused anyway since it concerns_Mon Sep 19 05:21:56 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-21-56-989782000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-21-56-989782000-PDT.html[] This commit was manufactured by cvs2svn to create branch_Mon Sep 19 05:21:57 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-21-57-476302000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-21-57-476302000-PDT.html[] This commit was manufactured by cvs2svn to create branch_Mon Sep 19 05:22:01 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-22-01-891987000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-22-01-891987000-PDT.html[jyh] Added version checking._Mon Sep 19 05:22:06 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-22-06-493744000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-22-06-493744000-PDT.html[kopylov] _Mon Sep 19 05:22:06 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-22-07-005603000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-22-07-005603000-PDT.html[yegor] 1. wrap_terms added to null_refiner for postprocessing of tactic results_Mon Sep 19 05:22:07 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-22-07-392215000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-22-07-392215000-PDT.html[nogin] _bug 136_ Do not strip off zeros from variable names._Mon Sep 19 05:22:08 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-22-08-666398000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-22-08-666398000-PDT.html[yegor] 1.itt_ring _ proved all theorems._Mon Sep 19 05:22:09 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-22-09-693273000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-22-09-693273000-PDT.html[nogin] refiner/refiner/refiner.ml is a generated file._Mon Sep 19 05:22:18 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-22-18-055185000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-22-18-055185000-PDT.html[nogin] We no longer need an explicit dependency on the _linear set_ .cmi file._Mon Sep 19 05:22:18 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-22-18-422585000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-22-18-422585000-PDT.html[nogin] Merged shell_rule and shell_rewrite into a single module that does both._Mon Sep 19 05:22:18 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-22-18-794585000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-22-18-794585000-PDT.html[nogin] Adding support for a real check_all_____Mon Sep 19 05:22:19 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-22-19-736329000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-22-19-736329000-PDT.html[yegor] forgot to rename prering_elim to prefield_elim when took template from itt_ring_Mon Sep 19 05:22:20 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-22-20-402467000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-22-20-402467000-PDT.html[yegor] Merging new_then_Lab_T_implementation branch to main trunk._Mon Sep 19 05:22:21 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-22-21-266691000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-22-21-266691000-PDT.html[nogin] _ Cache the dependency information._Mon Sep 19 05:22:21 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-22-21-804269000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-22-21-804269000-PDT.html[yegor] _Mon Sep 19 05:22:22 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-22-22-310315000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-22-22-310315000-PDT.html[yegor] Unintentional updated penetrated to cvs. Just for now rolling back to more consistent_Mon Sep 19 05:22:22 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-22-22-680257000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-22-22-680257000-PDT.html[nogin] Made the refiner.ml file ds/std switching use the macro preprocessor_Mon Sep 19 05:22:23 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-22-23-122559000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-22-23-122559000-PDT.html[nogin] More conforming header stuff for the MERLIN paper. Please dbl_check__Mon Sep 19 05:22:23 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-22-23-603967000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-22-23-603967000-PDT.html[yegor] Proof of use_as_additive is complete now._Mon Sep 19 05:22:24 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-22-24-008691000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-22-24-008691000-PDT.html[] This commit was manufactured by cvs2svn to create tag_Mon Sep 19 05:22:26 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-22-26-912317000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-22-26-912317000-PDT.html[yegor] On my way to make arithT depend only on proved rules._Mon Sep 19 05:22:44 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-22-44-770330000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-22-44-770330000-PDT.html[nogin] _bug 141_ Making sure omake gets the dependencies right__Mon Sep 19 05:24:19 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-24-19-819130000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-24-19-819130000-PDT.html[yegor] More proofs._Mon Sep 19 05:24:20 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-24-20-744217000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-24-20-744217000-PDT.html[yegor] 1.More proofs_Mon Sep 19 05:24:23 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-24-23-196709000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-24-23-196709000-PDT.html[yegor] 1.Removed distributivity from reduceC._Mon Sep 19 05:24:26 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-24-26-082904000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-24-26-082904000-PDT.html[yegor] All proofs except for the div/rem part are finished._Mon Sep 19 05:24:28 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-24-28-532217000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-24-28-532217000-PDT.html[yegor] All proofs are complete._Mon Sep 19 05:24:29 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-24-29-954664000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-24-29-954664000-PDT.html[yegor] Proof of int_ring_is_ring depended on presence of distributivity in reduce_resource._Mon Sep 19 05:24:31 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-24-31-444688000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-24-31-444688000-PDT.html[nogin] Fixing invalid backslash syntax in strings._Mon Sep 19 05:24:33 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-24-33-311968000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-24-33-311968000-PDT.html[yegor] This update fixes incorrect behaviour of arithT brought up by removal of distributivity from reduce_resources. This in particular fixes problem with itt_nat/int_div_rem._Mon Sep 19 05:24:33 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-24-33-993086000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-24-33-993086000-PDT.html[yegor] intro_resource for type_ext_equal_ didn_t work _as far as I can tell_._Mon Sep 19 05:24:34 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-24-34-394267000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-24-34-394267000-PDT.html[yegor] 1.isField is now defined using ext_equal for car0 _instead of equality in a universe_._Mon Sep 19 05:24:34 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-24-34-787924000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-24-34-787924000-PDT.html[yegor] _Mon Sep 19 05:24:41 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-24-41-903037000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-24-41-903037000-PDT.html[yegor] 1.itt_subtype_ transitivity of subtype stated and proved_Mon Sep 19 05:24:54 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-24-54-982473000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-24-54-982473000-PDT.html[yegor] Better debug output added._Mon Sep 19 05:25:39 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-25-39-482017000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-25-39-482017000-PDT.html[yegor] Started _partial, etc_ order theory._Mon Sep 19 05:25:39 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-25-39-876703000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-25-39-876703000-PDT.html[kopylov] I have theory of relation structures of that includes preorders and equality relation._Mon Sep 19 05:25:40 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-25-40-443696000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-25-40-443696000-PDT.html[yegor] Added clarification how set_dfmode works, I write__Mon Sep 19 05:25:41 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-25-41-083049000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-25-41-083049000-PDT.html[yegor] Added several theorems about subtyping of records._Mon Sep 19 05:25:41 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-25-41-496504000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-25-41-496504000-PDT.html[yegor] 1.Added itt_order to makefile_Mon Sep 19 05:25:42 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-25-42-734280000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-25-42-734280000-PDT.html[yegor] added__Mon Sep 19 05:25:43 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-25-43-603941000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-25-43-603941000-PDT.html[yegor] Tryied new auto suffixes._Mon Sep 19 05:25:44 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-25-44-023215000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-25-44-023215000-PDT.html[yegor] Added two theorems_intro and elim style_ about symmetry._Mon Sep 19 05:25:49 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-25-49-741195000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-25-49-741195000-PDT.html[yegor] 1.Itt_subtype _ added 2 elim_style versions of subtypeTransitive._Mon Sep 19 05:25:50 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-25-50-725318000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-25-50-725318000-PDT.html[yegor] Ext_equal_ standard dest_ext_equal and other standard functions added._Mon Sep 19 05:25:58 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-25-58-513263000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-25-58-513263000-PDT.html[kamal] Added reduce to appropriate rules. The list is maintained in the file_Mon Sep 19 05:26:01 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-26-01-168158000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-12/2005-09-19-05-26-01-168158000-PDT.html