isabelle: Changelog

wenzelm [Sun, 10 Dec 2006 22:27:06 +0100] rev 21763

tuned comments;

wenzelm [Sun, 10 Dec 2006 22:27:05 +0100] rev 21762

tuned;

wenzelm [Sun, 10 Dec 2006 22:27:03 +0100] rev 21761

defs: increased entropy of mixfix handling;

wenzelm [Sun, 10 Dec 2006 20:09:08 +0100] rev 21760

fixed term_of_list;

wenzelm [Sun, 10 Dec 2006 19:37:30 +0100] rev 21759

Concrete syntax for hex chars and strings.

wenzelm [Sun, 10 Dec 2006 19:37:29 +0100] rev 21758

renamed str_of_XXX to print_XXX;

wenzelm [Sun, 10 Dec 2006 19:37:28 +0100] rev 21757

HOLogic cleanup;

wenzelm [Sun, 10 Dec 2006 19:37:27 +0100] rev 21756

ML_Syntax.print_XXX;

wenzelm [Sun, 10 Dec 2006 19:37:26 +0100] rev 21755

misc cleanup -- removed non-HOL operations; nibble/char/list/string: observe conventions for abstract syntax operations;

wenzelm [Sun, 10 Dec 2006 19:37:25 +0100] rev 21754

moved char/string syntax to Tools/string_syntax.ML; HOLogic cleanup;

isabelle