wenzelm [Wed, 31 Dec 2008 19:56:38 +0100] rev 29280
updated header;
wenzelm [Wed, 31 Dec 2008 19:54:04 +0100] rev 29279
Term.declare_typ_names, Term.declare_term_frees;
wenzelm [Wed, 31 Dec 2008 19:54:04 +0100] rev 29278
added declare_term_frees;
tuned signature;
wenzelm [Wed, 31 Dec 2008 19:54:04 +0100] rev 29277
Term.declare_term_frees;
wenzelm [Wed, 31 Dec 2008 19:54:03 +0100] rev 29276
qualified Term.rename_wrt_term;
wenzelm [Wed, 31 Dec 2008 18:53:19 +0100] rev 29275
moved old add_type_XXX, add_term_XXX etc. to structure OldTerm;
use regular Term.add_XXX etc.;
wenzelm [Wed, 31 Dec 2008 18:53:18 +0100] rev 29274
use fold_aterms directly;
wenzelm [Wed, 31 Dec 2008 18:53:18 +0100] rev 29273
use exists_Const directly;
wenzelm [Wed, 31 Dec 2008 18:53:17 +0100] rev 29272
use regular Term.add_XXX etc.;
wenzelm [Wed, 31 Dec 2008 18:53:16 +0100] rev 29271
moved old add_type_XXX, add_term_XXX etc. to structure OldTerm;
use exists_Const directly;