src/HOL/Library/Char_ord.thy
Sun, 26 Aug 2012 10:20:26 +0200 nipkow fixed theory dependency
Mon, 12 Jul 2010 08:58:13 +0200 haftmann dropped superfluous [code del]s
Mon, 23 Mar 2009 08:14:24 +0100 haftmann Main is (Complex_Main) base entry point in library theories
Fri, 10 Oct 2008 06:45:53 +0200 haftmann `code func` now just `code`
Fri, 25 Jul 2008 12:03:34 +0200 haftmann added class preorder
Thu, 26 Jun 2008 10:07:01 +0200 haftmann established Plain theory and image
Wed, 02 Jan 2008 15:14:17 +0100 haftmann removed some legacy instantiations
Thu, 29 Nov 2007 17:08:26 +0100 haftmann instance command as rudimentary class target
Thu, 14 Jun 2007 23:04:39 +0200 wenzelm tuned proofs;
Sun, 06 May 2007 21:50:17 +0200 haftmann changed code generator invocation syntax
Thu, 26 Apr 2007 13:33:15 +0200 haftmann moved stuff to Char_nat.thy
Tue, 20 Mar 2007 15:52:40 +0100 haftmann added instance for lattice
Wed, 27 Dec 2006 19:10:00 +0100 haftmann added OCaml code generation (without dictionaries)
Mon, 18 Dec 2006 08:21:27 +0100 haftmann added code generation syntax for some char combinators
Fri, 17 Nov 2006 02:20:03 +0100 wenzelm more robust syntax for definition/abbreviation/notation;
Sat, 27 May 2006 17:42:02 +0200 wenzelm tuned;
Wed, 31 Aug 2005 15:46:37 +0200 wenzelm tuned presentation;
Fri, 15 Apr 2005 14:14:24 +0200 nipkow New
less more (0) tip