[nogin] Itt_hoas_lambda is obsolete._Thu Jun 1 14:29:51 PDT 2006
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-01-14-29-51-480525000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-01-14-29-51-480525000-PDT.html[kopylov] Proved that a logic is a sublogic of itself._Thu Jun 1 14:34:28 PDT 2006
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-01-14-34-28-371492000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-01-14-34-28-371492000-PDT.html[nogin] A few spelling fixes._Thu Jun 1 15:38:22 PDT 2006
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-01-15-38-22-477618000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-01-15-38-22-477618000-PDT.html[kopylov] Wrote more in reflection_quickref_Fri Jun 2 13:07:47 PDT 2006
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-02-13-07-47-965248000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-02-13-07-47-965248000-PDT.html[kopylov] Proved a lemma that is a partial case of transitivity _when Q_Top_._Fri Jun 2 13:58:34 PDT 2006
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-02-13-58-34-690434000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-02-13-58-34-690434000-PDT.html[kopylov] Make the vbind_in_bind2 theorem stronger_Fri Jun 2 21:53:36 PDT 2006
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-02-21-53-36-235602000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-02-21-53-36-235602000-PDT.html[kopylov] More on reflection_quickref_Fri Jun 2 22:46:27 PDT 2006
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-02-22-46-27-038934000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-02-22-46-27-038934000-PDT.html[kopylov] Remove an obsolete comment_Fri Jun 2 23:15:56 PDT 2006
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-02-23-15-56-878246000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-02-23-15-56-878246000-PDT.html[kopylov] itt_hoas_normalize does not need to depend on itt_hoas_sequent_Fri Jun 2 23:56:58 PDT 2006
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-02-23-56-58-147599000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-02-23-56-58-147599000-PDT.html[kopylov] Fixed an error_Sat Jun 3 01:03:51 PDT 2006
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-03-01-03-51-182613000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-03-01-03-51-182613000-PDT.html[kopylov] Simplify a proof_Sat Jun 3 11:04:23 PDT 2006
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-03-11-04-23-566699000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-03-11-04-23-566699000-PDT.html[nogin] _ Fixed spelling errors in documentation._Mon Jun 5 15:37:30 PDT 2006
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-05-15-37-30-936965000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-05-15-37-30-936965000-PDT.html[jyh] _Group edit from last week committed by Aleksey.__Mon Jun 5 16:58:23 PDT 2006
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-05-16-58-23-572116000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-05-16-58-23-572116000-PDT.html[nogin] I am not sure what the _____RM_ ..._ syntax used to do, but in 0.9.8 OMake no_Mon Jun 5 18:02:23 PDT 2006
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-05-18-02-23-576380000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-05-18-02-23-576380000-PDT.html[nogin] Simplified the clean rules and made them 0.9.8_compatible._Tue Jun 6 14:11:27 PDT 2006
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-06-14-11-27-560942000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-06-14-11-27-560942000-PDT.html[nogin] Updated the installation instructions _they were quite outdated_. Also,_Wed Jun 7 10:40:28 PDT 2006
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-07-10-40-28-607250000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-07-10-40-28-607250000-PDT.html[kopylov] Wrote about rewriteC_Thu Jun 8 18:05:56 PDT 2006
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-08-18-05-56-940909000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-08-18-05-56-940909000-PDT.html[kopylov] Added two tactics_ combineT combines several hypothesis in one and separateT is the opposite one. They are usefull for using induction on reflected proofs._Fri Jun 9 17:59:37 PDT 2006
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-09-17-59-37-053252000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-09-17-59-37-053252000-PDT.html[kopylov] Updated documentation_Fri Jun 9 18:13:55 PDT 2006
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-09-18-13-55-544340000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-09-18-13-55-544340000-PDT.html[kopylov] Added iforms_ bind_list, subst_list for applying binding/substitution to the list of terms_Fri Jun 9 18:56:06 PDT 2006
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-09-18-56-06-300040000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-09-18-56-06-300040000-PDT.html[jyh] Use _echo instead of println in .PHONY/editor/ml/done._Fri Jun 16 11:01:49 PDT 2006
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-16-11-01-49-142847000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-16-11-01-49-142847000-PDT.html[kopylov] Added a couple of rewrites about append in reduceC_Fri Jun 16 12:22:44 PDT 2006
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-16-12-22-44-536945000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-16-12-22-44-536945000-PDT.html[kopylov] BSequentCore__n_ was declared as a constant_Fri Jun 16 13:34:52 PDT 2006
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-16-13-34-52-015168000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-16-13-34-52-015168000-PDT.html[kopylov] Added new tactics__Tue Jun 20 15:37:27 PDT 2006
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-20-15-37-27-561863000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-20-15-37-27-561863000-PDT.html[kopylov] Two more conversions__Tue Jun 20 15:44:42 PDT 2006
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-20-15-44-42-520368000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-20-15-44-42-520368000-PDT.html[kopylov] Update the documentation_Tue Jun 20 15:54:59 PDT 2006
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-20-15-54-59-188821000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-20-15-54-59-188821000-PDT.html[kopylov] Added a relax rule._Tue Jun 20 16:32:12 PDT 2006
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-20-16-32-12-629297000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-20-16-32-12-629297000-PDT.html[kopylov] Made an error message more useful_Tue Jun 20 17:24:43 PDT 2006
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-20-17-24-43-290185000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-20-17-24-43-290185000-PDT.html[kopylov] Added new tactics _moveHypWithDependenciesT_ that moves hypothesis when there are obscuring dependencies._Tue Jun 20 20:18:58 PDT 2006
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-20-20-18-58-553858000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-20-20-18-58-553858000-PDT.html[kopylov] Squiggle substitution rule should not change a name of the variable_Tue Jun 20 22:20:45 PDT 2006
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-20-22-20-45-187746000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-20-22-20-45-187746000-PDT.html[xiny] Some documentation fixes._Wed Jun 21 05:36:25 PDT 2006
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-21-05-36-25-152863000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-21-05-36-25-152863000-PDT.html[kopylov] Changed the display form of append_Thu Jun 22 13:02:31 PDT 2006
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-22-13-02-31-557424000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-22-13-02-31-557424000-PDT.html[kopylov] Added ifthenelseT tactic to interface_Thu Jun 22 13:05:44 PDT 2006
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-22-13-05-44-825180000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-22-13-05-44-825180000-PDT.html[kopylov] Updated the documentation a littile bit_Fri Jun 23 12:02:22 PDT 2006
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-23-12-02-22-673264000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-23-12-02-22-673264000-PDT.html[nogin] The fol theory is not a part of theories.pdf_Fri Jun 23 13:15:51 PDT 2006
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-23-13-15-51-987561000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-23-13-15-51-987561000-PDT.html[nogin] Documentation fix._Fri Jun 23 13:42:13 PDT 2006
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-23-13-42-13-310786000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-23-13-42-13-310786000-PDT.html[kopylov] Use moveWithDependencesT instead of copyT in substT_Fri Jun 23 13:48:54 PDT 2006
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-23-13-48-54-212952000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-23-13-48-54-212952000-PDT.html[kopylov] Made simpleHypSubstT to be val instead of topval_Fri Jun 23 16:18:17 PDT 2006
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-23-16-18-17-405088000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-23-16-18-17-405088000-PDT.html[kopylov] Use moveWithDependencesT in varElimT_Fri Jun 23 17:01:09 PDT 2006
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-23-17-01-09-892076000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-23-17-01-09-892076000-PDT.html[nogin] Documentation fix._Sat Jun 24 12:00:20 PDT 2006
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-24-12-00-20-656285000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-24-12-00-20-656285000-PDT.html[kopylov] Simplify substT_Mon Jun 26 14:40:39 PDT 2006
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-26-14-40-39-856171000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-26-14-40-39-856171000-PDT.html[nogin] Updating the documentation _removing the link to htpp_//cvs.metaprl.org that_Tue Jun 27 15:20:53 PDT 2006
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-27-15-20-53-753486000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2006-06/2006-06-27-15-20-53-753486000-PDT.html