| Mon, 11 Sep 2006 14:28:47 +0200 | haftmann | hid succ, pred in Numeral.thy | file | diff | annotate |
| Wed, 06 Sep 2006 13:48:02 +0200 | haftmann | got rid of Numeral.bin type | file | diff | annotate |
| Sat, 08 Apr 2006 22:51:06 +0200 | wenzelm | refined 'abbreviation'; | file | diff | annotate |
| Thu, 16 Feb 2006 21:12:03 +0100 | wenzelm | Abstract Natural Numbers with polymorphic recursion. | file | diff | annotate |