src/HOL/String.thy
Mon, 08 Jun 2009 08:38:52 +0200 haftmann constant "chars" of all characters
Tue, 19 May 2009 16:54:55 +0200 haftmann String.literal replaces message_string, code_numeral replaces (code_)index
Sun, 17 May 2009 07:17:39 +0200 haftmann is a definition
Sat, 16 May 2009 20:17:59 +0200 bulwahn added new kind generated_theorem for theorems which are generated by packages to distinguish between theorems from users and packages
Wed, 06 May 2009 19:09:31 +0200 haftmann proper structures for list and string code generation stuff
Wed, 06 May 2009 16:01:23 +0200 haftmann refined HOL string theories and corresponding ML fragments
Tue, 16 Jan 2001 00:30:06 +0100 wenzelm improved string syntax (allow translation rules);
Sat, 23 Dec 2000 22:50:19 +0100 wenzelm Tools/string_syntax.ML;
Mon, 16 Aug 1999 22:07:12 +0200 wenzelm 'a list: Nil, Cons;
Wed, 17 Mar 1999 17:18:54 +0100 wenzelm xstr token class;
Fri, 03 Jul 1998 17:33:47 +0200 wenzelm moved String theory to main HOL;
less more (0) tip