langtech - Revision 197639: /trunk/plan/proof/doc