src/HOL/ex/Binary.thy
Mon, 22 Feb 2010 09:17:49 +0100 haftmann merged
Fri, 19 Feb 2010 14:47:01 +0100 haftmann moved remaning class operations from Algebras.thy to Groups.thy
Sun, 21 Feb 2010 22:35:02 +0100 wenzelm slightly more abstract syntax mark/unmark operations;
Thu, 11 Feb 2010 22:19:58 +0100 wenzelm modernized translations;
Thu, 28 Jan 2010 11:48:49 +0100 haftmann new theory Algebras.thy for generic algebraic structures
Mon, 16 Mar 2009 18:24:30 +0100 wenzelm simplified method setup;
Fri, 13 Mar 2009 19:58:26 +0100 wenzelm unified type Proof.method and pervasive METHOD combinators;
Sat, 01 Mar 2008 14:10:13 +0100 wenzelm use more antiquotations;
Tue, 18 Sep 2007 16:08:00 +0200 wenzelm simplified type int (eliminated IntInf.int, integer);
Fri, 10 Aug 2007 18:21:25 +0200 wenzelm tuned ML bindings;
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