src/HOL/String.thy
2010-02-13 wenzelm 2010-02-13 modernized structures;
2010-02-11 wenzelm 2010-02-11 modernized translations; formal markup of @{syntax_const} and @{const_syntax}; minor tuning;
2010-01-13 haftmann 2010-01-13 some syntax setup for Scala
2009-10-27 haftmann 2009-10-27 tuned
2009-10-22 haftmann 2009-10-22 map_range (and map_index) combinator
2009-07-14 haftmann 2009-07-14 prefer code_inline over code_unfold; use code_unfold_post where appropriate
2009-07-14 haftmann 2009-07-14 code attributes use common underscore convention
2009-06-08 haftmann 2009-06-08 constant "chars" of all characters
2009-05-19 haftmann 2009-05-19 String.literal replaces message_string, code_numeral replaces (code_)index
2009-05-17 haftmann 2009-05-17 is a definition
2009-05-16 bulwahn 2009-05-16 added new kind generated_theorem for theorems which are generated by packages to distinguish between theorems from users and packages
2009-05-06 haftmann 2009-05-06 proper structures for list and string code generation stuff
2009-05-06 haftmann 2009-05-06 refined HOL string theories and corresponding ML fragments
2001-01-16 wenzelm 2001-01-16 improved string syntax (allow translation rules);
2000-12-23 wenzelm 2000-12-23 Tools/string_syntax.ML;
1999-08-16 wenzelm 1999-08-16 'a list: Nil, Cons;
1999-03-17 wenzelm 1999-03-17 xstr token class;
1998-07-03 wenzelm 1998-07-03 moved String theory to main HOL;