isabelle: Changelog

wenzelm [Tue, 11 Jul 2006 12:17:11 +0200] rev 20085

replaced Term.variant(list) by Name.variant(_list); Name.internal;

wenzelm [Tue, 11 Jul 2006 12:17:09 +0200] rev 20084

maintain Name.context for fixes/defaults; more efficient inventing/renaming of local names (cf. name.ML);

wenzelm [Tue, 11 Jul 2006 12:17:08 +0200] rev 20083

removed obsolete mem_ix;

wenzelm [Tue, 11 Jul 2006 12:17:07 +0200] rev 20082

removed obsolete ins_ix, mem_ix, ins_term, mem_term; moved variant(list), invent_names, bound, dest_internal/skolem etc. to name.ML;

wenzelm [Tue, 11 Jul 2006 12:17:06 +0200] rev 20081

Name.dest_skolem;

wenzelm [Tue, 11 Jul 2006 12:17:05 +0200] rev 20080

Name.bound;

wenzelm [Tue, 11 Jul 2006 12:17:04 +0200] rev 20079

replaced Term.variant(list) by Name.variant(_list); Name.bound;

wenzelm [Tue, 11 Jul 2006 12:17:03 +0200] rev 20078

replaced Term.variant(list) by Name.variant(_list); Name.invent_list;

wenzelm [Tue, 11 Jul 2006 12:17:02 +0200] rev 20077

replaced Term.variant(list) by Name.variant(_list); Name.clean;

wenzelm [Tue, 11 Jul 2006 12:17:01 +0200] rev 20076

Name.invent_list;

isabelle