isabelle: Changelog

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

removed obsolete premsN;

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

PureThy.get_fact: pass dynamic context;

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

isabelle