isabelle: Changelog

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;

wenzelm [Tue, 15 Apr 2008 18:49:29 +0200] rev 26674

Theory.subthy;

wenzelm [Tue, 15 Apr 2008 18:49:28 +0200] rev 26673

Facts.intern, Facts.extern_table;

isabelle