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.; | file | diff | annotate |
Mon, 22 Jun 2009 17:07:09 +0200 | immler | use results of relevance-filter to determine additional clauses; | file | diff | annotate |
Wed, 03 Jun 2009 16:56:41 +0200 | immler | split preparing clauses and writing problemfile; | file | diff | annotate |
Sat, 23 May 2009 21:31:07 +0200 | wenzelm | proper signature constraint; | file | diff | annotate |
Mon, 04 May 2009 23:37:39 +0200 | immler | added Philipp Meyer's implementation of AtpMinimal | file | diff | annotate |