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