isabelle: Changelog

nipkow [Wed, 22 Jun 2005 19:44:12 +0200] rev 16546

added find2

nipkow [Wed, 22 Jun 2005 19:44:03 +0200] rev 16545

*** empty log message ***

Wed, 22 Jun 2005 19:43:48 +0200 tunes Find

nipkow [Wed, 22 Jun 2005 19:43:48 +0200] rev 16544

tunes Find

nipkow [Wed, 22 Jun 2005 19:43:38 +0200] rev 16543

added Rules/find2

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

tuned pointer_eq;

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;

isabelle