isabelle: Changelog

wenzelm [Tue, 04 Jul 2006 21:26:26 +0200] rev 20013

Isar: 'print_facts' prints all local facts;

wenzelm [Tue, 04 Jul 2006 21:22:53 +0200] rev 20012

print_lthms: include unnamed facts from index; tuned;

wenzelm [Tue, 04 Jul 2006 21:22:52 +0200] rev 20011

added content;

wenzelm [Tue, 04 Jul 2006 21:22:51 +0200] rev 20010

added props selector;

wenzelm [Tue, 04 Jul 2006 21:22:50 +0200] rev 20009

print_facts: all facts;

wenzelm [Tue, 04 Jul 2006 19:49:59 +0200] rev 20008

add_abbrevs/polymorphic: Variable.exportT_terms avoids over-generalization;

wenzelm [Tue, 04 Jul 2006 19:49:58 +0200] rev 20007

instantiate_tfrees: Thm.generalize;

wenzelm [Tue, 04 Jul 2006 19:49:57 +0200] rev 20006

removed parrot comment;

wenzelm [Tue, 04 Jul 2006 19:49:56 +0200] rev 20005

Proof by guessing.

wenzelm [Tue, 04 Jul 2006 19:49:55 +0200] rev 20004

guess: proper context for polymorphic parameters; tuned;

isabelle