| Tue, 04 May 2010 09:25:38 +0200 | krauss | avoid exception Empty on malformed goal | file | diff | annotate |
| Sat, 02 Jan 2010 23:18:58 +0100 | krauss | new year's resolution: reindented code in function package | file | diff | annotate |
| Fri, 23 Oct 2009 16:37:56 +0200 | krauss | renamed auto_term.ML -> relation.ML | file | diff | annotate |