isabelle: Changelog

wenzelm [Thu, 09 Jun 2005 12:03:23 +0200] rev 16336

thms_of no longer global; added all_thms_of; theorems: NameSpace.table;

wenzelm [Thu, 09 Jun 2005 12:03:22 +0200] rev 16335

NameSpace.extern_table;

wenzelm [Thu, 09 Jun 2005 12:03:21 +0200] rev 16334

print_theory: omit name spaces; NameSpace.extern_table;

wenzelm [Thu, 09 Jun 2005 12:03:20 +0200] rev 16333

got rid of bclass, xclass;

wenzelm [Thu, 09 Jun 2005 12:03:19 +0200] rev 16332

add_axioms_infer -- avoids use of stale theory;

wenzelm [Thu, 09 Jun 2005 12:03:18 +0200] rev 16331

Theory.all_axioms_of;

wenzelm [Thu, 09 Jun 2005 12:03:17 +0200] rev 16330

Sign.read_typ_abbrev;

haftmann [Thu, 09 Jun 2005 11:07:37 +0200] rev 16329

added chmod for packages

haftmann [Thu, 09 Jun 2005 11:04:54 +0200] rev 16328

added CONTRIBUTORS

haftmann [Thu, 09 Jun 2005 11:04:02 +0200] rev 16327

a very little cleanup

isabelle