| Thu, 08 Aug 2002 23:46:09 +0200 | wenzelm | use Tactic.prove instead of prove_goalw_cterm in internal proofs! | file | diff | annotate |
| Tue, 06 Aug 2002 11:22:05 +0200 | wenzelm | sane interface for simprocs; | file | diff | annotate |
| Wed, 21 Nov 2001 00:36:51 +0100 | wenzelm | use tracing function for trace output; | file | diff | annotate |
| Mon, 24 Jul 2000 23:47:57 +0200 | wenzelm | do not pass theory values, but sg_ref; | file | diff | annotate |
| Tue, 30 May 2000 16:03:09 +0200 | wenzelm | global timing flag; | file | diff | annotate |
| Thu, 23 Sep 1999 13:09:39 +0200 | paulson | The restrict_to_left rule fixes some bugs | file | diff | annotate |
| Wed, 17 Mar 1999 16:33:47 +0100 | wenzelm | Theory.sign_of; | file | diff | annotate |
| Thu, 22 Oct 1998 12:35:40 +0200 | wenzelm | eliminated 'let ... in structure ...' to make SML/NJ 0.93 happy; | file | diff | annotate |
| Mon, 05 Oct 1998 10:19:21 +0200 | paulson | simpler interface for Abel_Cancel | file | diff | annotate |
| Thu, 01 Oct 1998 18:19:34 +0200 | paulson | new simproc functor | file | diff | annotate |