isabelle: Changelog

wenzelm [Thu, 13 Jul 2006 13:42:05 +0200] rev 20124

tuned insert_list;

wenzelm [Thu, 13 Jul 2006 13:42:02 +0200] rev 20123

Name.context already declares empty names; tune ins_sorts -- sort assigments should never change later;

wenzelm [Thu, 13 Jul 2006 13:42:00 +0200] rev 20122

strip_abs_eta: proper use of Name.context;

wenzelm [Thu, 13 Jul 2006 13:41:57 +0200] rev 20121

do not export make_context; initial context: declare empty names; variants: no special treatment of empty names;

wenzelm [Thu, 13 Jul 2006 13:41:53 +0200] rev 20120

removed colon from sym category;

paulson [Thu, 13 Jul 2006 12:31:00 +0200] rev 20119

fix to refl_clause_aux: added occurs check

isabelle