Fri, 22 Oct 2010 13:59:34 +0200 | krauss | relation method: re-check given term with type constraints to avoid unspecific failure if ill-typed -- keep old behaviour for tactic version | file | diff | annotate |
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 |