src/HOL/Library/Char_ord.thy
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