src/HOL/Tools/atp_minimal.ML
Tue, 21 Jul 2009 01:03:18 +0200 wenzelm proper context for Display.pretty_thm etc. or old-style versions Display.pretty_thm_global, Display.pretty_thm_without_context etc.;
Mon, 22 Jun 2009 17:07:09 +0200 immler use results of relevance-filter to determine additional clauses;
Wed, 03 Jun 2009 16:56:41 +0200 immler split preparing clauses and writing problemfile;
Sat, 23 May 2009 21:31:07 +0200 wenzelm proper signature constraint;
Mon, 04 May 2009 23:37:39 +0200 immler added Philipp Meyer's implementation of AtpMinimal
less more (0) tip