| Mon, 10 Apr 2006 00:33:49 +0200 | wenzelm | Term.itselfT; | file | diff | annotate |
| Wed, 22 Feb 2006 22:18:39 +0100 | wenzelm | simplified Pure conjunction, based on actual const; | file | diff | annotate |
| Sat, 18 Feb 2006 18:08:23 +0100 | wenzelm | dest_def: tuned error msg; | file | diff | annotate |
| Thu, 16 Feb 2006 18:25:55 +0100 | wenzelm | dest_def: actually return beta-eta contracted equation; | file | diff | annotate |
| Tue, 07 Feb 2006 19:56:45 +0100 | wenzelm | renamed gen_duplicates to duplicates; | file | diff | annotate |
| Mon, 06 Feb 2006 20:59:05 +0100 | wenzelm | added generic dest_def (mostly from theory.ML); | file | diff | annotate |
| Tue, 24 Jan 2006 00:43:23 +0100 | wenzelm | added dest_all; | file | diff | annotate |