isabelle: Changelog

ballarin [Tue, 28 Oct 2008 11:03:07 +0100] rev 28699

Removed 'includes meta_term_syntax' and 'includes meta_conjunction_syntax'.

paulson [Mon, 27 Oct 2008 18:14:34 +0100] rev 28698

metis proof

ballarin [Mon, 27 Oct 2008 16:23:54 +0100] rev 28697

New-style locale expressions with instantiation (new file expression.ML).

ballarin [Mon, 27 Oct 2008 16:20:52 +0100] rev 28696

Hide path in constant name (workaround).

haftmann [Mon, 27 Oct 2008 16:15:50 +0100] rev 28695

explicit history for equations; tuned

haftmann [Mon, 27 Oct 2008 16:15:49 +0100] rev 28694

slightly tuned

haftmann [Mon, 27 Oct 2008 16:15:48 +0100] rev 28693

added rudimentary code generation

haftmann [Mon, 27 Oct 2008 16:15:47 +0100] rev 28692

sup_bot and inf_top

ballarin [Mon, 27 Oct 2008 16:14:51 +0100] rev 28691

Extension of interface: declarations_of.

haftmann [Fri, 24 Oct 2008 17:51:36 +0200] rev 28690

simplified user-defined class syntax

isabelle