isabelle: Changelog

wenzelm [Wed, 10 Oct 2007 17:31:52 +0200] rev 24945

updated;

wenzelm [Wed, 10 Oct 2007 16:29:11 +0200] rev 24944

added no_notation;

paulson [Wed, 10 Oct 2007 15:05:42 +0200] rev 24943

removed dead code

paulson [Wed, 10 Oct 2007 15:05:34 +0200] rev 24942

more metis proofs

ballarin [Wed, 10 Oct 2007 10:55:37 +0200] rev 24941

Prepare proper interface of interpretation_i, interpret_i.

paulson [Wed, 10 Oct 2007 10:50:11 +0200] rev 24940

getting rid of type typ_var

wenzelm [Tue, 09 Oct 2007 19:48:55 +0200] rev 24939

tuned;

wenzelm [Tue, 09 Oct 2007 19:48:54 +0200] rev 24938

class: print result is for locale;

paulson [Tue, 09 Oct 2007 18:14:00 +0200] rev 24937

context-based treatment of generalization; also handling TFrees in axiom clauses

wenzelm [Tue, 09 Oct 2007 17:11:20 +0200] rev 24936

TheoryTarget.init_cmd;

isabelle