src/HOL/Tools/ATP_Manager/etc/settings
Wed, 05 Aug 2009 17:10:10 +0200 wenzelm settings for ATP_Manager component;
less more (0) tip