Mon, 17 Oct 2005 23:10:15 +0200 |
wenzelm |
Simplifier.inherit_context instead of Simplifier.inherit_bounds;
|
file |
diff |
annotate
|
Mon, 01 Aug 2005 19:20:26 +0200 |
wenzelm |
simprocs: Simplifier.inherit_bounds;
|
file |
diff |
annotate
|
Fri, 17 Jun 2005 18:33:03 +0200 |
wenzelm |
renamed sg_ref to thy_ref;
|
file |
diff |
annotate
|
Sun, 13 Feb 2005 17:15:14 +0100 |
skalberg |
Deleted Library.option type.
|
file |
diff |
annotate
|
Sun, 15 Feb 2004 10:46:37 +0100 |
paulson |
Polymorphic treatment of binary arithmetic using axclasses
|
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
|
Fri, 12 May 2000 11:52:44 +0200 |
wenzelm |
improved name of simproc;
|
file |
diff |
annotate
|
Fri, 23 Jul 1999 17:24:48 +0200 |
paulson |
new simprocs assoc_fold and combine_coeff
|
file |
diff |
annotate
|