isabelle: Changelog

haftmann [Wed, 22 Oct 2008 14:15:45 +0200] rev 28663

code identifier namings are no longer imperative

haftmann [Wed, 22 Oct 2008 14:15:44 +0200] rev 28662

tuned typedef interface

haftmann [Wed, 22 Oct 2008 14:15:43 +0200] rev 28661

slightly tuned

haftmann [Wed, 22 Oct 2008 14:15:42 +0200] rev 28660

fixed

wenzelm [Tue, 21 Oct 2008 23:54:42 +0200] rev 28659

less ambitious default for JEDIT_JAVA_OPTIONS;

wenzelm [Tue, 21 Oct 2008 22:21:28 +0200] rev 28658

JEDIT_OPTIONS: moved -settings to interface script (more robust);

wenzelm [Tue, 21 Oct 2008 21:59:22 +0200] rev 28657

make JEDIT_JAVA_OPTIONS and JEDIT_OPTIONS actually work;

berghofe [Tue, 21 Oct 2008 21:22:31 +0200] rev 28656

Added nominal_inductive2.

berghofe [Tue, 21 Oct 2008 21:22:02 +0200] rev 28655

Example for using the generalized version of nominal_inductive.

berghofe [Tue, 21 Oct 2008 21:20:46 +0200] rev 28654

Added theory W.

isabelle