[emre] _ More const_elim rewrites._Mon Sep 19 03:15:28 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-28-848604000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-28-848604000-PDT.html[jyh] Added mc directory._Mon Sep 19 03:15:31 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-31-430568000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-31-430568000-PDT.html[emre] Everything compiles, but I_ve managed to break_Mon Sep 19 03:15:31 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-31-912751000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-31-912751000-PDT.html[emre] Fixed a build error with cons._Mon Sep 19 03:15:34 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-34-308955000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-34-308955000-PDT.html[nogin] When we replace a goal of a RuleBox, it seems a better idea to use_Mon Sep 19 03:15:34 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-34-685934000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-34-685934000-PDT.html[emre] _ Added a Conscript_Mon Sep 19 03:15:35 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-35-197438000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-35-197438000-PDT.html[emre] Changes to get the mc theory compiled in by default._Mon Sep 19 03:15:37 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-37-325928000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-37-325928000-PDT.html[nogin] cons files__Mon Sep 19 03:15:37 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-37-760646000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-37-760646000-PDT.html[nogin] removed the bugs and todo_s that were already fixed._Mon Sep 19 03:15:38 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-38-300039000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-38-300039000-PDT.html[yegor] Itt_int_ext_ more conversions added to reduce resource_Mon Sep 19 03:15:38 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-38-823520000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-38-823520000-PDT.html[yegor] Sorry, forgot to export proof_Mon Sep 19 03:15:39 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-39-345736000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-39-345736000-PDT.html[nogin] Code cleanup__Mon Sep 19 03:15:42 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-42-030597000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-42-030597000-PDT.html[emre] _ A little clean up for const_elim._Mon Sep 19 03:15:45 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-45-370216000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-45-370216000-PDT.html[emre] More term operations._Mon Sep 19 03:15:46 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-46-131233000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-46-131233000-PDT.html[emre] _ More term operations added._Mon Sep 19 03:15:48 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-48-427961000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-48-427961000-PDT.html[jyh] First working version with meta_prl/mc together._Mon Sep 19 03:15:49 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-49-561416000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-49-561416000-PDT.html[nogin] Added some additional info to comments in JProver files._Mon Sep 19 03:15:50 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-50-222662000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-50-222662000-PDT.html[emre] Even more term ops implemented._Mon Sep 19 03:15:51 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-51-043443000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-51-043443000-PDT.html[emre] _ More term operations. Everything in fir_ty and fir_exp should_Mon Sep 19 03:15:51 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-51-829282000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-51-829282000-PDT.html[emre] make will now build the mc theory _and all of MetaPRL_ w/o trouble now._Mon Sep 19 03:15:52 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-52-559791000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-52-559791000-PDT.html[emre] Updates to solve some build problems__Mon Sep 19 03:15:52 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-52-936978000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-52-936978000-PDT.html[emre] _ Continuing implementation of code to convert from Fir.prog to MetaPRL terms,_Mon Sep 19 03:15:54 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-54-182988000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-54-182988000-PDT.html[emre] More _connection_ code. Most of the function are there,_Mon Sep 19 03:15:55 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-55-640526000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-55-640526000-PDT.html