more careful treatment of standard_vars: rename apart from existing frees and avoid approximative Name.declared, proper application of unvarifyT within terms of proof;
Java application wrapper for Windows
====================================
* http://launch4j.sourceforge.net