isabelle: Changelog

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

Name.is_bound;

wenzelm [Tue, 11 Jul 2006 12:16:58 +0200] rev 20073

removed obsolete mem_term;

wenzelm [Tue, 11 Jul 2006 12:16:57 +0200] rev 20072

Name.internal;

wenzelm [Tue, 11 Jul 2006 12:16:54 +0200] rev 20071

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

wenzelm [Tue, 11 Jul 2006 12:16:52 +0200] rev 20070

let_simproc: activate Variable.import;

ballarin [Tue, 11 Jul 2006 11:19:28 +0200] rev 20069

Witness theorems of interpretations now transfered to current theory.

ballarin [Tue, 11 Jul 2006 11:17:09 +0200] rev 20068

New function transfer_witness lifting Thm.transfer to witnesses.

kleing [Tue, 11 Jul 2006 00:43:54 +0200] rev 20067

hex and binary numerals (contributed by Rafal Kolanski)

webertj [Mon, 10 Jul 2006 21:02:29 +0200] rev 20066

minor optimization wrt. certifying terms

wenzelm [Sat, 08 Jul 2006 14:12:13 +0200] rev 20065

tuned;

isabelle