[xiny] _ Proved _Every subgroup of a cyclic group is cyclic_ with Alexei_s membership for subset._Mon Sep 19 04:23:46 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-23-46-341944000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-23-46-341944000-PDT.html[nogin] Added the SPEC file._Mon Sep 19 04:24:28 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-24-28-132012000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-24-28-132012000-PDT.html[xiny] Changed well_formedness rules._Mon Sep 19 04:24:29 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-24-29-305913000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-24-29-305913000-PDT.html[xiny] Simplified some proofs._Mon Sep 19 04:24:34 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-24-34-147909000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-24-34-147909000-PDT.html[xiny] Removed _subStructure_sqStable1_._Mon Sep 19 04:24:34 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-24-34-972614000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-24-34-972614000-PDT.html[nogin] Updated the squash resource to support annotations on_Mon Sep 19 04:24:37 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-24-37-813533000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-24-37-813533000-PDT.html[nogin] Use _lncurses _which exists on UGCS machines_ instead of _ltermcap _which does not_._Mon Sep 19 04:24:57 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-24-57-581967000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-24-57-581967000-PDT.html[] This commit was manufactured by cvs2svn to create branch _CS101_branch_._Mon Sep 19 04:24:58 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-24-58-010979000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-24-58-010979000-PDT.html[nogin] CS101_specific version string._Mon Sep 19 04:25:09 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-25-09-061644000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-25-09-061644000-PDT.html[xiny] Completed all proofs except for _itt_subset/member_doesnot_depend_on_B_._Mon Sep 19 04:25:09 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-25-09-848670000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-25-09-848670000-PDT.html[yegor] 1.itt_logic/not_elim had incorrect label of the only subgoal _assert__main_._Mon Sep 19 04:25:12 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-25-12-573917000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-25-12-573917000-PDT.html[emre] These are bug fixes so that the M language compiler can be built_Mon Sep 19 04:25:13 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-25-13-114733000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-25-13-114733000-PDT.html[emre] Wrote a little documentation for dead code elimination. Mostly,_Mon Sep 19 04:25:13 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-25-13-597201000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-25-13-597201000-PDT.html[emre] This is my attempt to add some saner documentation to M_inline._Mon Sep 19 04:25:14 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-25-14-051107000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-25-14-051107000-PDT.html[xiny] Defined subgroup_ Updated some proofs. Need to work more on this tomorrow._Mon Sep 19 04:25:15 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-25-15-267099000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-25-15-267099000-PDT.html[emre] Tried to clean_up the documentation in M_prog._Mon Sep 19 04:25:44 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-25-44-562255000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-25-44-562255000-PDT.html[emre] Removing my BUG comment, given Jason_s response to it_Mon Sep 19 04:25:45 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-25-45-071522000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-25-45-071522000-PDT.html[emre] A little more work on trying to clean_up / add documentation._Mon Sep 19 04:25:45 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-25-45-453881000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-25-45-453881000-PDT.html[emre] Added booleans to the abstract syntax table and cleaned up_Mon Sep 19 04:25:45 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-25-45-974695000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-25-45-974695000-PDT.html[emre] This will be my final attempt at trying to add/fix documentation_Mon Sep 19 04:25:46 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-25-46-490354000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-25-46-490354000-PDT.html[xiny] More updates on stuff related to subgroup._Mon Sep 19 04:25:47 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-25-47-026015000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-25-47-026015000-PDT.html[xiny] Updated proofs related with subgroup._Mon Sep 19 04:26:56 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-26-56-869159000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-26-56-869159000-PDT.html[xiny] Changed the definition of cyclic subgroup._Mon Sep 19 04:27:00 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-27-00-470287000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-27-00-470287000-PDT.html[nogin] Fixed the _make latex_._Mon Sep 19 04:27:04 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-27-04-712445000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-27-04-712445000-PDT.html[nogin] New syntax for sequent context and binding_free sequent hypotheses._Mon Sep 19 04:27:05 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-27-05-675082000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-27-05-675082000-PDT.html[nogin] Updated the display forms for the new sequent syntax._Mon Sep 19 04:27:31 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-27-31-372445000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-27-31-372445000-PDT.html[nogin] _ Using the new syntax, got rid of some unused binding vars_Mon Sep 19 04:27:33 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-27-33-114120000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-27-33-114120000-PDT.html[nogin] Created an empty cs101 theory_Mon Sep 19 04:27:34 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-27-34-206832000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-27-34-206832000-PDT.html[nogin] _ Added the basic intuitionistic rules to the cs101 theory_Mon Sep 19 04:27:34 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-27-34-635756000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-27-34-635756000-PDT.html[nogin] _ Better _and more insane, of course_ grammar for distinquishing between hyp_Mon Sep 19 04:27:36 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-27-36-368088000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-27-36-368088000-PDT.html[yegor] 1.itt_bool _ removed incorrect rule that I added earlier_Mon Sep 19 04:27:37 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-27-37-452056000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-27-37-452056000-PDT.html[nogin] Proofs from today_s lecture._Mon Sep 19 04:28:02 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-28-02-725290000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-28-02-725290000-PDT.html[nogin] Made it more robust._Mon Sep 19 04:28:03 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-28-03-549299000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-28-03-549299000-PDT.html[nogin] Furthe font selector script fixes._Mon Sep 19 04:28:03 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-28-03-957281000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-28-03-957281000-PDT.html[nogin] Do not try cleaning the directories that do not exist._Mon Sep 19 04:28:04 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-28-04-934942000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-28-04-934942000-PDT.html[nogin] Updating the README _thanks to Michael Vanier for noticing some_Mon Sep 19 04:28:05 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-28-05-333935000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-28-05-333935000-PDT.html[nogin] _ Added a _raw_ display form mode that is _guaranteed_ not to have any display_Mon Sep 19 04:28:05 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-28-05-766557000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-28-05-766557000-PDT.html[nogin] _ Now the Pcaml.Qerror exceptions are pretty_printed correctly_Mon Sep 19 04:28:07 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-28-07-171439000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-28-07-171439000-PDT.html[nogin] CS101_ Classical logic and the other part of the homework._Mon Sep 19 04:28:07 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-28-07-820054000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-28-07-820054000-PDT.html[nogin] Comment parsing__Mon Sep 19 04:28:08 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-28-08-538060000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-28-08-538060000-PDT.html[nogin] Proof automation from lecture 4._Mon Sep 19 04:28:09 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-28-09-726356000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-28-09-726356000-PDT.html[nogin] Minor clean_up._Mon Sep 19 04:28:10 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-28-10-321934000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-28-10-321934000-PDT.html[nogin] _ The _doc_ directive now does not require the __doc_ __ quotation. One_Mon Sep 19 04:28:10 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-28-10-832823000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-28-10-832823000-PDT.html[xiny] Defined group isomorphism and did a little adjustment to the def. of group homomorphism._Mon Sep 19 04:28:13 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-28-13-365844000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-28-13-365844000-PDT.html[xiny] Defined group kernel._Mon Sep 19 04:28:24 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-28-24-484193000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-28-24-484193000-PDT.html[nogin] Minor updates._Mon Sep 19 04:28:34 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-28-34-192053000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-28-34-192053000-PDT.html[nogin] Updated the dmoz link._Mon Sep 19 04:28:34 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-28-34-616777000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-28-34-616777000-PDT.html[nogin] Declare the rules as tactics._Mon Sep 19 04:28:35 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-28-35-043673000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-28-35-043673000-PDT.html[nogin] Typo fix._Mon Sep 19 04:28:35 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-28-35-422028000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-28-35-422028000-PDT.html[granicz] Added basic skeleton of M techreport. For now, it has the same_Mon Sep 19 04:28:35 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-28-35-840836000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-28-35-840836000-PDT.html[granicz] Forgot to add generated files to .cvsignore._Mon Sep 19 04:28:36 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-28-36-767269000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-28-36-767269000-PDT.html[xiny] Rule_proving..._Mon Sep 19 04:28:37 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-28-37-140462000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-28-37-140462000-PDT.html[xiny] Changed the definition of group kernel._Mon Sep 19 04:28:40 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-28-40-055986000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-28-40-055986000-PDT.html[xiny] Redefined normal subgroup with _extensional_ set equality _using _esquash__ and proved more properties of the group kernel._Mon Sep 19 04:28:43 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-28-43-976306000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-28-43-976306000-PDT.html[granicz] Generated tex files for M weren_t cleaned._Mon Sep 19 04:29:04 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-29-04-284983000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-29-04-284983000-PDT.html[granicz] Added display forms for numbers and basic arithmetic operations._Mon Sep 19 04:29:04 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-29-04-706883000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-29-04-706883000-PDT.html[granicz] Fixed typo in display form._Mon Sep 19 04:29:05 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-29-05-110182000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-29-05-110182000-PDT.html[granicz] Various display form improvements and some of the text in_Mon Sep 19 04:29:05 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-29-05-519295000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-29-05-519295000-PDT.html[xiny] Defined group monomorphism/epimorphism_ Changed the definition of group_Mon Sep 19 04:29:06 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-29-06-203105000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-29-06-203105000-PDT.html[granicz] Better display forms for helper terms._Mon Sep 19 04:29:15 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-29-15-877914000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-29-15-877914000-PDT.html[nogin] _ Simplified the libmojave conditionals in Makefile_Mon Sep 19 04:29:16 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-29-16-971493000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-29-16-971493000-PDT.html[xiny] Changed all occurrences of extensional set equality to use _ext_equal__Mon Sep 19 04:29:17 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-29-17-435018000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-29-17-435018000-PDT.html[nogin] Tried to simplify the shell interfaces a little._Mon Sep 19 04:29:47 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-29-47-849877000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-29-47-849877000-PDT.html[nogin] Forgot to clean out._Mon Sep 19 04:29:49 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-29-49-412619000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-29-49-412619000-PDT.html[jyh] _ Add preliminary omake build system._Mon Sep 19 04:29:49 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-29-49-803983000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-29-49-803983000-PDT.html[jyh] _ Add preliminary omake build system._Mon Sep 19 04:29:52 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-29-52-486805000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-29-52-486805000-PDT.html[jyh] Files was accidentally added to lm_libmojave._Mon Sep 19 04:29:52 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-29-52-901149000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-29-52-901149000-PDT.html[jyh] File was added on branch lm_libmojave._Mon Sep 19 04:29:53 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-29-53-295629000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-29-53-295629000-PDT.html[xiny] Added one group example _integer under addition_._Mon Sep 19 04:29:53 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-29-53-688165000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-29-53-688165000-PDT.html[jyh] Minor omake changes._Mon Sep 19 04:29:56 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-29-56-736109000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-29-56-736109000-PDT.html[jyh] Added clean and realclean targets._Mon Sep 19 04:29:57 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-29-57-279007000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-29-57-279007000-PDT.html[nogin] Made a pass of code clean_up in filter_prog._Mon Sep 19 04:29:59 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-29-59-480384000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-29-59-480384000-PDT.html[granicz] Added comments on asm code generation._Mon Sep 19 04:30:01 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-30-01-389181000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-30-01-389181000-PDT.html[granicz] Added new abstract syntax for M._Mon Sep 19 04:30:02 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-30-02-106695000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-30-02-106695000-PDT.html[nogin] HW2 solutions._Mon Sep 19 04:30:02 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-30-02-691048000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-30-02-691048000-PDT.html[nogin] Use orelseT in completelyDestructT._Mon Sep 19 04:30:04 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-30-04-386771000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-30-04-386771000-PDT.html[nogin] Hopefully I finally got it right._Mon Sep 19 04:30:04 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-30-04-792873000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-30-04-792873000-PDT.html[nogin] _ Instead of always using __bf ..._, __it ..._, etc, now _tt uses _texttt_...__Mon Sep 19 04:30:05 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-30-05-263733000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-30-05-263733000-PDT.html[nogin] Further clean_up._Mon Sep 19 04:30:07 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-30-07-481147000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-30-07-481147000-PDT.html[nogin] _ More precise error messages when parsing comments__Mon Sep 19 04:30:08 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-30-08-468671000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-30-08-468671000-PDT.html[nogin] Reducing dependencies of Filter_prog _I am planning to move it to filter/filter_Mon Sep 19 04:30:14 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-30-14-335658000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-30-14-335658000-PDT.html[xiny] Xin and Aleksey__Mon Sep 19 04:30:16 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-30-16-549751000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-30-16-549751000-PDT.html[nogin] _ Moved Filter_prog from filter/base to filter/filter and removed it_Mon Sep 19 04:30:17 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-30-17-191457000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-30-17-191457000-PDT.html[nogin] _ Updated the installation instruction_Mon Sep 19 04:30:20 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-30-20-538587000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-30-20-538587000-PDT.html[nogin] More work on installation instructions._Mon Sep 19 04:30:21 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-30-21-300699000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-30-21-300699000-PDT.html[nogin] Later versions of make are OK too._Mon Sep 19 04:30:21 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-30-21-819540000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-30-21-819540000-PDT.html[nogin] _MetaPRL still has some nasty bugs_ __ _MetaPRL could still have some nasty bugs__Mon Sep 19 04:30:22 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-30-22-252895000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-30-22-252895000-PDT.html[xiny] got rid of all math_ terms defined for group theory in itt_comment._Mon Sep 19 04:30:23 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-30-23-851076000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-30-23-851076000-PDT.html[nogin] _ Implemented resource annotations on rewrites _including conditional rewrites_._Mon Sep 19 04:30:26 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-30-26-367179000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-30-26-367179000-PDT.html[nogin] Replaced reduce resource _let_ improvements with annotations, where_Mon Sep 19 04:30:30 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-30-30-412314000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-30-30-412314000-PDT.html[nogin] _ If member_of__a__T_ is declared, then _a in T_ will be parsed as_Mon Sep 19 04:30:35 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-30-35-512652000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-30-35-512652000-PDT.html[jyh] Add filter_prog.ml to match Aleksey_s last change._Mon Sep 19 04:30:36 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-30-36-167232000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-30-36-167232000-PDT.html[nogin] _ Adding the theory and the proofs done in class today_Mon Sep 19 04:30:36 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-30-36-575170000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-30-36-575170000-PDT.html[nogin] Added the new _member_ form, other updates._Mon Sep 19 04:30:37 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-30-37-964225000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-30-37-964225000-PDT.html[nogin] _ Added a real summary item for _define_ directives. Now they are no longer_Mon Sep 19 04:30:39 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-30-39-162306000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-30-39-162306000-PDT.html[nogin] Missed one incomplete match warning in my previous commit._Mon Sep 19 04:30:41 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-30-41-093595000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-30-41-093595000-PDT.html[nogin] Support files that have an .ml, but no .mli_Mon Sep 19 04:30:41 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-30-41-569018000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-30-41-569018000-PDT.html[xiny] Typo fixes_Mon Sep 19 04:30:42 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-30-42-049131000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-30-42-049131000-PDT.html[xiny] Typo fix._Mon Sep 19 04:30:42 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-30-42-477849000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-30-42-477849000-PDT.html[nogin] Simplified the term representation of the prec_rel summary item_Mon Sep 19 04:30:43 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-30-43-483187000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-30-43-483187000-PDT.html[] This commit was manufactured by cvs2svn to create tag _CS101_._Mon Sep 19 04:30:44 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-30-44-410451000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-30-44-410451000-PDT.html[nogin] Added basic documentation to the class lambda calc. theory._Mon Sep 19 04:30:59 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-30-59-500800000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-30-59-500800000-PDT.html[jyh] LN is now defined as _ln _s_ so the __f_ flag is added manually._Mon Sep 19 04:31:03 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-31-03-308483000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-31-03-308483000-PDT.html[nogin] Stuff done in today_s lecture._Mon Sep 19 04:31:04 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-31-04-127751000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-31-04-127751000-PDT.html[nogin] _ Changed the diplsy form for _declare_ to be nicer and to include both_Mon Sep 19 04:31:05 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-31-05-886994000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-31-05-886994000-PDT.html[nogin] Printing script._Mon Sep 19 04:31:08 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-31-08-849224000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-31-08-849224000-PDT.html[jyh] Updated configuration as sub_project of mcc._Mon Sep 19 04:31:09 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-31-09-312790000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-31-09-312790000-PDT.html[nogin] Exporting declares to the interface, bumping the rev number._Mon Sep 19 04:31:09 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-31-09-845867000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-31-09-845867000-PDT.html[nogin] Yet another unicode symbol for _prod_ _the one I chose before exists in RH9_Mon Sep 19 04:31:10 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-31-10-460462000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-31-10-460462000-PDT.html[nogin] The MC theory is dead._Mon Sep 19 04:31:11 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-31-11-024969000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-31-11-024969000-PDT.html[nogin] Got rid of the HTML _tagges zone_ code _which was used anyway_._Mon Sep 19 04:31:24 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-31-24-536812000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-31-24-536812000-PDT.html[nogin] _ Cleaned up a few display forms in IR_Mon Sep 19 04:31:27 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-31-27-319203000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-31-27-319203000-PDT.html[emre] A few typo fixes and some work on the documentation for spill_Mon Sep 19 04:31:27 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-31-27-995459000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-31-27-995459000-PDT.html[nogin] Minor updates _that provide a good demanstration of some bugs in MetaPRL_Mon Sep 19 04:31:29 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-31-29-714288000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-31-29-714288000-PDT.html[nogin] _ In lzone, do not stop printing once past the margin, let it wrap around,_Mon Sep 19 04:31:30 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-31-30-228838000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-31-30-228838000-PDT.html[emre] The documentation for spill code looks a bit more reasonable._Mon Sep 19 04:31:30 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-31-30-928026000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-31-30-928026000-PDT.html[nogin] _ Rformat_ Added a notion of _tagged_ boxes that need to be closed and re_opened_Mon Sep 19 04:31:31 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-31-31-473603000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-31-31-473603000-PDT.html[xiny] minor._Mon Sep 19 04:31:33 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-31-33-945333000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-31-33-945333000-PDT.html[jyh] Some minor changes to the paper._Mon Sep 19 04:32:02 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-32-02-467019000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-32-02-467019000-PDT.html[xiny] Changed a rule about _onto homomorphism_ to use _epimorphism_._Mon Sep 19 04:32:05 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-32-05-463257000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-32-05-463257000-PDT.html[granicz] Comitting small change._Mon Sep 19 04:32:11 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-32-11-824953000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-32-11-824953000-PDT.html[nogin] _ Do not ignore breaks in linear zones, turn them into spaces instead._Mon Sep 19 04:32:12 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-32-12-268894000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-32-12-268894000-PDT.html[nogin] Finished a quick pass over the techreport _added a few more dforms and_Mon Sep 19 04:32:13 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-32-13-311033000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-32-13-311033000-PDT.html[nogin] _ cleaned up some display_Mon Sep 19 04:32:14 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-32-14-014344000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-32-14-014344000-PDT.html[xiny] minor._Mon Sep 19 04:32:14 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-32-14-586928000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-32-14-586928000-PDT.html[nogin] Small update for the comment module _to bring it up_to_date with the new __doc_ syntax_._Mon Sep 19 04:32:15 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-32-15-874909000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-32-15-874909000-PDT.html[xiny] Added some czf group theory stuff to the documentation._Mon Sep 19 04:32:16 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-32-16-394881000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-32-16-394881000-PDT.html[xiny] Fixed some broken proofs._Mon Sep 19 04:32:16 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-32-16-930301000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-32-16-930301000-PDT.html[xiny] More broken_proof fixes._Mon Sep 19 04:32:19 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-32-19-292840000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-32-19-292840000-PDT.html[yegor] Some reorganizations for documentation purposes._Mon Sep 19 04:32:27 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-32-27-717949000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-32-27-717949000-PDT.html[] This commit was manufactured by cvs2svn to create tag_Mon Sep 19 04:32:29 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-32-29-330910000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-32-29-330910000-PDT.html[nogin] Made the tactic type completely abstract. From now on, use funT _and argfunT__Mon Sep 19 04:32:48 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-32-48-673339000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-32-48-673339000-PDT.html[nogin] Lecture 8 and dform updates._Mon Sep 19 04:32:53 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-32-53-687344000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-32-53-687344000-PDT.html[nogin] My previous commit lacked changes to bytecode_only stuff._Mon Sep 19 04:32:56 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-32-56-520701000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-32-56-520701000-PDT.html[nogin] Refreshed a few .prla files._Mon Sep 19 04:32:57 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-32-57-109247000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-32-57-109247000-PDT.html[jyh] Added M_rawint module._Mon Sep 19 04:33:41 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-33-41-298931000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-33-41-298931000-PDT.html[jyh] Ignore more files._Mon Sep 19 04:33:42 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-33-42-048548000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-33-42-048548000-PDT.html[jyh] Added int31 and rawfloat. In all cases, these numerical values_Mon Sep 19 04:33:42 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-33-42-755331000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-33-42-755331000-PDT.html[jyh] This just moves files in theories/experimental/mcc/fir to_Mon Sep 19 04:33:44 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-33-44-421717000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-33-44-421717000-PDT.html[nogin] Moved the _remove the unneeded hyp bindings_ call out of term normalization_Mon Sep 19 04:33:45 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-33-45-974259000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-33-45-974259000-PDT.html[nogin] Turn warnings into errors._Mon Sep 19 04:33:46 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-33-46-817651000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-33-46-817651000-PDT.html[nogin] This is an attempt to give sequents and variables more consistent look__Mon Sep 19 04:33:47 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-33-47-308493000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-33-47-308493000-PDT.html[nogin] I think I finally figured the last place where msequents needed to be normalized._Mon Sep 19 04:33:50 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-33-50-196914000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-33-50-196914000-PDT.html[lolorigo] added error handling info_Mon Sep 19 04:33:50 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-33-50-865026000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-33-50-865026000-PDT.html[nogin] Today_s lecture._Mon Sep 19 04:33:52 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-33-52-051320000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-33-52-051320000-PDT.html[nogin] Forgot to add the .prla_Mon Sep 19 04:33:52 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-33-52-655006000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-33-52-655006000-PDT.html[nogin] HW4 solutions._Mon Sep 19 04:33:54 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-33-54-353032000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-04/2005-09-19-04-33-54-353032000-PDT.html