isabelle: Changelog

haftmann [Wed, 12 Jul 2006 17:00:33 +0200] rev 20109

added strip_abs_eta

haftmann [Wed, 12 Jul 2006 17:00:32 +0200] rev 20108

added chop_prefix

haftmann [Wed, 12 Jul 2006 17:00:31 +0200] rev 20107

class_of_param instead of class_of

haftmann [Wed, 12 Jul 2006 17:00:30 +0200] rev 20106

adaptions in class_package

haftmann [Wed, 12 Jul 2006 17:00:22 +0200] rev 20105

adaptions in codegen

wenzelm [Wed, 12 Jul 2006 00:34:54 +0200] rev 20104

variants: special treatment of empty name;

wenzelm [Tue, 11 Jul 2006 23:49:32 +0200] rev 20103

avoid reference to internal skolem;

wenzelm [Tue, 11 Jul 2006 23:00:39 +0200] rev 20102

separate names filed (covers fixes/defaults);

wenzelm [Tue, 11 Jul 2006 23:00:39 +0200] rev 20101

adapted Name.defaults_of;

wenzelm [Tue, 11 Jul 2006 23:00:37 +0200] rev 20100

removed obsolete xless; tuned zero_var_indexes;

isabelle