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