isabelle: Changelog

wenzelm [Wed, 22 Jun 2005 19:41:29 +0200] rev 16541

renamed data kind;

wenzelm [Wed, 22 Jun 2005 19:41:28 +0200] rev 16540

removed proof data (see Pure/context.ML);

wenzelm [Wed, 22 Jun 2005 19:41:27 +0200] rev 16539

added depth_of;

wenzelm [Wed, 22 Jun 2005 19:41:24 +0200] rev 16538

removed obsolete object.ML (see Pure/library.ML);

wenzelm [Wed, 22 Jun 2005 19:41:23 +0200] rev 16537

export sort_ord; tuned term_ord, typ_ord: use pointer_eq; tuned aconv, aconvs: based on term_ord;

wenzelm [Wed, 22 Jun 2005 19:41:22 +0200] rev 16536

renamed init to init_data;

wenzelm [Wed, 22 Jun 2005 19:41:20 +0200] rev 16535

added structure Object (from Pure/General/object.ML);

wenzelm [Wed, 22 Jun 2005 19:41:19 +0200] rev 16534

tuned;

isabelle