src/HOL/ex/Binary.thy
Thu, 17 May 2007 19:49:40 +0200 haftmann canonical prefixing of class constants
Thu, 01 Feb 2007 20:59:50 +0100 wenzelm tuned;
Mon, 29 Jan 2007 19:58:14 +0100 wenzelm proper simproc_setup;
Mon, 22 Jan 2007 00:40:29 +0100 wenzelm tuned;
Sun, 21 Jan 2007 19:09:36 +0100 wenzelm tuned ML setup;
Sun, 21 Jan 2007 16:43:47 +0100 wenzelm tuned comments
Sat, 20 Jan 2007 14:27:46 +0100 wenzelm Simple and efficient binary numerals.
less more (0) tip