| Tue, 15 Jan 2008 16:19:23 +0100 | haftmann | joined theories IntDef, Numeral, IntArith to theory Int | file | diff | annotate |
| Fri, 12 Oct 2007 22:01:56 +0200 | webertj | typo in comment fixed | file | diff | annotate |
| Tue, 09 Oct 2007 00:20:13 +0200 | wenzelm | generic Syntax.pretty/string_of operations; | 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, 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 |