Tue, 15 Jan 2008 16:19:23 +0100 | joined theories IntDef, Numeral, IntArith to theory Int | file | diff | annotate |
Wed, 02 Jan 2008 15:14:23 +0100 | index now a copy of nat rather than int | file | diff | annotate |
Fri, 12 Oct 2007 10:26:18 +0200 | added | file | diff | annotate |