doc-src/IsarRef/Thy/Misc.thy
Sun, 22 Apr 2012 14:30:18 +0200 wenzelm USER_HOME settings variable points to cross-platform user home directory;
less more (0) -10 -1 tip