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;