| Mon, 11 May 2009 15:57:29 +0200 |
haftmann |
qualified names for Lin_Arith tactics and simprocs
|
file |
diff |
annotate
|
| Mon, 11 May 2009 15:18:32 +0200 |
haftmann |
tuned interface of Lin_Arith
|
file |
diff |
annotate
|
| Sat, 09 May 2009 09:17:29 +0200 |
haftmann |
interface changes in linarith.ML
|
file |
diff |
annotate
|
| Fri, 08 May 2009 08:00:13 +0200 |
haftmann |
explicit method linarith
|
file |
diff |
annotate
|
| Mon, 23 Mar 2009 19:01:16 +0100 |
haftmann |
moved generic arith_tac (formerly silent_arith_tac), verbose_arith_tac (formerly arith_tac) to Arith_Data; simple_arith-tac now named linear_arith_tac
|
file |
diff |
annotate
|
| Sat, 18 Aug 2007 19:25:28 +0200 |
webertj |
fixed a bug in demult: -a in (-a * b) is no longer treated as atomic
|
file |
diff |
annotate
|
| Tue, 31 Jul 2007 19:40:24 +0200 |
wenzelm |
tuned LinArith setup;
|
file |
diff |
annotate
|
| Tue, 31 Jul 2007 00:56:26 +0200 |
wenzelm |
arith method setup: proper context;
|
file |
diff |
annotate
|
| Sun, 03 Jun 2007 23:16:46 +0200 |
wenzelm |
use antiquotations instead of raw TeX code;
|
file |
diff |
annotate
|
| Sun, 03 Jun 2007 15:44:35 +0200 |
nipkow |
fixed tex error
|
file |
diff |
annotate
|
| Sat, 02 Jun 2007 20:14:38 +0200 |
webertj |
extended
|
file |
diff |
annotate
|
| Sat, 02 Jun 2007 03:17:44 +0200 |
webertj |
extended
|
file |
diff |
annotate
|
| Sat, 02 Jun 2007 00:09:02 +0200 |
webertj |
tracing disabled
|
file |
diff |
annotate
|
| Fri, 01 Jun 2007 23:21:40 +0200 |
webertj |
some tests for arith added
|
file |
diff |
annotate
|