Sun, 17 Feb 2008 06:49:53 +0100 | huffman | New simpler representation of numerals, using Bit0 and Bit1 instead of BIT, B0, and B1 | file | diff | annotate |
Sat, 16 Feb 2008 02:01:13 +0100 | huffman | added lemma lists {normalize,succ,pred,minus,add,mult}_bin_simps | file | diff | annotate |
Fri, 15 Feb 2008 16:09:12 +0100 | haftmann | <= and < on nat no longer depend on wellfounded relations | file | diff | annotate |
Fri, 25 Jan 2008 14:53:52 +0100 | haftmann | moved definition of power on ints to theory Int | file | diff | annotate |
Mon, 21 Jan 2008 08:43:27 +0100 | haftmann | tuned code setup | file | diff | annotate |
Tue, 15 Jan 2008 16:19:23 +0100 | haftmann | joined theories IntDef, Numeral, IntArith to theory Int | file | diff | annotate |