langtech - Revision 197663: /trunk/techdoc/proof/presentations