Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2006-02-22 18:00:39 -0800 (Wed, 22 Feb 2006)
Revision: 8777
Log message:

      Minor improvements to rule statements generated by filter_reflection:
      
      - Use C<|J; H|> in place of C<|H; J|> as this would cause the display
        mechanism to hide these contexts in more cases.
      
      - Add labels on some of the rule assumptions:
        - MemLogic rules: 
           - "wf" on "logic in Logic" assumption
        - Intro rules:
           - "aux" on "logic in Logic" and "SubLogic{rule; logic}" assumptions
           - "wf" on type-checking assumptions