src/HOL/IMP/export.sh
Tue, 10 Sep 2013 11:57:53 +0200 wenzelm more portable hash-bang;
Sun, 23 Oct 2011 17:37:21 +1100 kleing script for exporting filtered IMP files as tar.gz
less more (0) tip