src/HOL/Tools/etc/options
Sat, 13 Jul 2013 14:11:48 +0200 wenzelm clarified some default options;
Fri, 12 Jul 2013 23:45:05 +0200 wenzelm system options for Isabelle/HOL proof tools;
less more (0) tip