src/HOL/String.thy
Tue, 27 Oct 2009 15:32:21 +0100 haftmann tuned
Thu, 22 Oct 2009 13:48:06 +0200 haftmann map_range (and map_index) combinator
Tue, 14 Jul 2009 16:27:32 +0200 haftmann prefer code_inline over code_unfold; use code_unfold_post where appropriate
Tue, 14 Jul 2009 10:54:04 +0200 haftmann code attributes use common underscore convention
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