| Tue, 19 Jul 2005 17:21:51 +0200 | wenzelm | incr_tvar (from term.ML), incr_indexes: avoid garbage; | file | diff | annotate |
| Fri, 15 Jul 2005 15:44:17 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 14 Jul 2005 19:28:29 +0200 | wenzelm | occs no longer infix (structure not open); | file | diff | annotate |
| Tue, 31 May 2005 11:53:21 +0200 | wenzelm | added nth_prem; | file | diff | annotate |
| Wed, 09 Mar 2005 18:44:52 +0100 | ballarin | First version of global registration command. | file | diff | annotate |
| Mon, 24 Jan 2005 12:41:06 +0100 | paulson | thin_tac now works on P==>Q | file | diff | annotate |
| Fri, 21 Jan 2005 13:55:07 +0100 | paulson | fixed thin_tac with higher-level assumptions by removing the old code to | file | diff | annotate |