isabelle: Changelog

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;

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

added name.ML;

wenzelm [Tue, 11 Jul 2006 12:16:59 +0200] rev 20074

Name.is_bound;

isabelle