isabelle: Changelog

mengj [Wed, 05 Jul 2006 14:22:09 +0200] rev 20016

Literals aren't sorted any more.

mengj [Wed, 05 Jul 2006 14:21:22 +0200] rev 20015

Literals aren't sorted any more. Output overloaded constants' type var instantiations.

schirmer [Wed, 05 Jul 2006 11:32:38 +0200] rev 20014

fixed let-simproc ----------------------------------------------------------------------

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;

isabelle