[Bug 1694] [FS] editorial: 5 Modules and Prologs

http://www.w3.org/Bugs/Public/show_bug.cgi?id=1694





------- Comment #3 from jmdyck@ibiblio.org  2006-10-04 22:25 -------
Further to DEv / rule 1:
    In premise 2, remove the subscript '1' from statEnv1, so it unifies with
the
    statEnv in premise 3.

    In premise 1, add a subscript '1' to PrologDeclList, so it unifies with the
    PrologDeclList1 that will be in premise 2 (because =>dyn operates on a
    normalized PrologDeclList).

    And it'll make more sense if you move premise 1 down a couple lines to
    become premise 3.