[yegor] Moved from old style conditional rewrites to rules with ___ operator instead of ______._ Mon Sep 19 02:46:59 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2000-12/2005-09-19-02-46-59-904412000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2000-12/2005-09-19-02-46-59-904412000-PDT.html [nogin] When converting conditional rewrites to meta_sequents, not only_ Mon Sep 19 02:47:03 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2000-12/2005-09-19-02-47-03-294524000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2000-12/2005-09-19-02-47-03-294524000-PDT.html [krupski] Quick start with MetaPrl proof_editor __ short summary for beginners._ Mon Sep 19 02:47:05 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2000-12/2005-09-19-02-47-05-249246000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2000-12/2005-09-19-02-47-05-249246000-PDT.html [krupski] The reference to editor/ml/QUICKSTART is added. It is a short summary for_ Mon Sep 19 02:47:05 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2000-12/2005-09-19-02-47-05-639738000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2000-12/2005-09-19-02-47-05-639738000-PDT.html