[nogin] For static terms and mterms, use _let ...__ let ... _ instead of_Mon Sep 19 02:14:11 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-07/2005-09-19-02-14-11-276618000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-07/2005-09-19-02-14-11-276618000-PDT.html[nogin] Small changes_Mon Sep 19 02:14:11 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-07/2005-09-19-02-14-11-679093000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-07/2005-09-19-02-14-11-679093000-PDT.html[nogin] I wrote a decideT tactic, similar to Nuprl4 Decide tactic._Mon Sep 19 02:14:12 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-07/2005-09-19-02-14-12-062149000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-07/2005-09-19-02-14-12-062149000-PDT.html[nogin] Forgot to update the .mli_Mon Sep 19 02:14:13 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-07/2005-09-19-02-14-13-034079000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-07/2005-09-19-02-14-13-034079000-PDT.html[jyh] Things seem to be working pretty smoothly now. This is mostly minor_Mon Sep 19 02:14:13 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-07/2005-09-19-02-14-13-387874000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-07/2005-09-19-02-14-13-387874000-PDT.html[nogin] Fixed _make opt_ in filter._Mon Sep 19 02:16:17 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-07/2005-09-19-02-16-17-571003000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-07/2005-09-19-02-16-17-571003000-PDT.html[nogin] Handle THEORIES variable a little better_Mon Sep 19 02:16:18 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-07/2005-09-19-02-16-18-052311000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-07/2005-09-19-02-16-18-052311000-PDT.html[jyh] Added Itt_sort for Alexey_s demo. Reading the .prla file is _really_ slow_Mon Sep 19 02:16:18 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-07/2005-09-19-02-16-18-508993000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-07/2005-09-19-02-16-18-508993000-PDT.html[nogin] Inlined static_term definitions._Mon Sep 19 02:16:28 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-07/2005-09-19-02-16-28-083550000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-07/2005-09-19-02-16-28-083550000-PDT.html[nogin] Fixed the bug that was preventing updates_Mon Sep 19 02:16:28 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-07/2005-09-19-02-16-28-505428000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-07/2005-09-19-02-16-28-505428000-PDT.html[jyh] Filter now reads .prla file even if .prlb file does not exist._Mon Sep 19 02:16:28 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-07/2005-09-19-02-16-28-918076000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-07/2005-09-19-02-16-28-918076000-PDT.html[nogin] Improved some display forms_Mon Sep 19 02:16:29 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-07/2005-09-19-02-16-29-370506000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-07/2005-09-19-02-16-29-370506000-PDT.html[nogin] Fixed dest_fix_Mon Sep 19 02:16:29 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-07/2005-09-19-02-16-29-801528000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-07/2005-09-19-02-16-29-801528000-PDT.html[nogin] Fixed several dest_str function, now all theories/itt/.prla can be read_Mon Sep 19 02:16:30 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-07/2005-09-19-02-16-30-201113000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-07/2005-09-19-02-16-30-201113000-PDT.html[jyh] Filter creates .prlb file from .prla if it does not exist._Mon Sep 19 02:16:30 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-07/2005-09-19-02-16-30-816968000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-07/2005-09-19-02-16-30-816968000-PDT.html[jyh] Added_ Itt_logic.genAssumT _ int list __ tactic_Mon Sep 19 02:16:31 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-07/2005-09-19-02-16-31-432026000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-07/2005-09-19-02-16-31-432026000-PDT.html[nogin] There is no reason to keep these .prlb files_Mon Sep 19 02:16:51 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-07/2005-09-19-02-16-51-137387000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-07/2005-09-19-02-16-51-137387000-PDT.html[jyh] ifthenelse_member was defined twice._Mon Sep 19 02:16:53 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-07/2005-09-19-02-16-53-131727000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-07/2005-09-19-02-16-53-131727000-PDT.html[nogin] Small display form change_Mon Sep 19 02:17:12 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-07/2005-09-19-02-17-12-065764000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-07/2005-09-19-02-17-12-065764000-PDT.html[nogin] Changed genAssumT__Mon Sep 19 02:17:12 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-07/2005-09-19-02-17-12-447567000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-07/2005-09-19-02-17-12-447567000-PDT.html[nogin] Ignore _.prlb_Mon Sep 19 02:17:12 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-07/2005-09-19-02-17-12-862698000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-07/2005-09-19-02-17-12-862698000-PDT.html[nogin] Be more careful to thin the right hypothesis._Mon Sep 19 02:17:13 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-07/2005-09-19-02-17-13-193891000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-07/2005-09-19-02-17-13-193891000-PDT.html[nogin] Do not keep normalazing the same opnames over and over._Mon Sep 19 02:17:13 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-07/2005-09-19-02-17-13-571692000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-07/2005-09-19-02-17-13-571692000-PDT.html[nogin] Performance fixes__Mon Sep 19 02:17:14 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-07/2005-09-19-02-17-14-124370000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-07/2005-09-19-02-17-14-124370000-PDT.html[nogin] Changed the definition of compare_lt from _lt a b_ to assert_lt a b_._Mon Sep 19 02:17:14 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-07/2005-09-19-02-17-14-576039000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-07/2005-09-19-02-17-14-576039000-PDT.html[nogin] Fixed comments_Mon Sep 19 02:17:41 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-07/2005-09-19-02-17-41-787448000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-07/2005-09-19-02-17-41-787448000-PDT.html[nogin] Removed some files that were copied to filter/base_Mon Sep 19 02:17:42 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-07/2005-09-19-02-17-42-212195000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-07/2005-09-19-02-17-42-212195000-PDT.html[cwitty] New version of itt_quickref.txt_ should be up to date._Mon Sep 19 02:17:42 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-07/2005-09-19-02-17-42-866028000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-07/2005-09-19-02-17-42-866028000-PDT.html[nogin] Now one can use SO variables in display form specifications_Mon Sep 19 02:17:44 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-07/2005-09-19-02-17-44-763257000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-07/2005-09-19-02-17-44-763257000-PDT.html[nogin] Moved ML files from filter to filter/filter_Mon Sep 19 02:17:45 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-07/2005-09-19-02-17-45-444095000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-07/2005-09-19-02-17-45-444095000-PDT.html[nogin] Renamed to avoid name conflicts._Mon Sep 19 02:17:48 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-07/2005-09-19-02-17-48-234444000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-07/2005-09-19-02-17-48-234444000-PDT.html[nogin] Hopefully it works now._Mon Sep 19 02:17:48 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-07/2005-09-19-02-17-48-872353000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-07/2005-09-19-02-17-48-872353000-PDT.html[nogin] Fixed intro/elim annotations in itt_collection_Mon Sep 19 02:17:49 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-07/2005-09-19-02-17-49-239721000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-07/2005-09-19-02-17-49-239721000-PDT.html[nogin] reduceIfthenelse_True,False_ were renamed to reduce_ifthenelse__true,false__Mon Sep 19 02:17:49 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-07/2005-09-19-02-17-49-793977000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-07/2005-09-19-02-17-49-793977000-PDT.html[nogin] Some theories still had Itt_squash_squash instead of Base_trivial_squash _ fixed._Mon Sep 19 02:17:50 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-07/2005-09-19-02-17-50-596285000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-07/2005-09-19-02-17-50-596285000-PDT.html[cwitty] Added fold_bunion._Mon Sep 19 02:17:53 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-07/2005-09-19-02-17-53-919551000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-07/2005-09-19-02-17-53-919551000-PDT.html