| 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, 14 Aug 2007 23:22:51 +0200 | wenzelm | avoid low-level tsig; | file | diff | annotate |
| Thu, 09 Aug 2007 15:52:47 +0200 | haftmann | localized of_nat | file | diff | annotate |
| Wed, 01 Aug 2007 16:55:40 +0200 | wenzelm | simplified internal Config interface; | file | diff | annotate |
| Tue, 31 Jul 2007 19:40:23 +0200 | wenzelm | HOL setup for linear arithmetic -- moved here from arith_data.ML; | file | diff | annotate |