isabelle: Changelog

wenzelm [Wed, 16 Apr 2008 17:40:40 +0200] rev 26684

tuned;

wenzelm [Wed, 16 Apr 2008 17:40:39 +0200] rev 26683

removed obsolete get_fact_silent; PureThy.get_fact: pass dynamic context; tuned;

wenzelm [Wed, 16 Apr 2008 17:40:38 +0200] rev 26682

tuned proofs;

berghofe [Wed, 16 Apr 2008 11:24:09 +0200] rev 26681

Added entry for unused_thms command.

berghofe [Wed, 16 Apr 2008 11:01:30 +0200] rev 26680

Adapted to new primrec package.

berghofe [Wed, 16 Apr 2008 10:57:46 +0200] rev 26679

Added add_primrec_global and add_primrec_overloaded functions (thanks to Markus).

haftmann [Wed, 16 Apr 2008 10:50:37 +0200] rev 26678

educated guess for infix syntax

urbanc [Wed, 16 Apr 2008 02:25:06 +0200] rev 26677

removed test artefacts

wenzelm [Tue, 15 Apr 2008 22:09:24 +0200] rev 26676

proof endings: no Toplevel.print!

wenzelm [Tue, 15 Apr 2008 22:09:23 +0200] rev 26675

all_valid_thms: use new facts tables;

isabelle