| Mon, 06 Sep 2004 16:45:10 +0200 |
paulson |
now rejects degenerate (looping) cases
|
file |
diff |
annotate
|
| Tue, 03 Aug 2004 14:48:59 +0200 |
ballarin |
Typo.
|
file |
diff |
annotate
|
| Thu, 08 Jul 2004 19:34:56 +0200 |
wenzelm |
adapted type of simprocs;
|
file |
diff |
annotate
|
| Tue, 18 May 2004 11:45:50 +0200 |
obua |
modified abel_cancel.ML for polymorphic types
|
file |
diff |
annotate
|
| 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
|