isabelle: Changelog

wenzelm [Tue, 04 Dec 2007 22:49:21 +0100] rev 25523

replaced option -p by -W (process wrapper); tuned PGIP option setup;

wenzelm [Tue, 04 Dec 2007 21:09:37 +0100] rev 25522

\<chi> is now considered a letter; tuned;

wenzelm [Tue, 04 Dec 2007 13:22:55 +0100] rev 25521

symbol chi is also a letter;

obua [Mon, 03 Dec 2007 17:47:35 +0100] rev 25520

improvements

haftmann [Mon, 03 Dec 2007 16:04:17 +0100] rev 25519

overloading target

haftmann [Mon, 03 Dec 2007 16:04:16 +0100] rev 25518

interface for unchecked definitions

haftmann [Mon, 03 Dec 2007 16:04:14 +0100] rev 25517

shifted "fun" command to Wellfounded_Relations

haftmann [Mon, 03 Dec 2007 16:04:13 +0100] rev 25516

updated

chaieb [Sun, 02 Dec 2007 20:38:42 +0100] rev 25515

Eliminated unused theorems minusinf_ex and minusinf_bex

haftmann [Fri, 30 Nov 2007 20:13:08 +0100] rev 25514

first working version of instance target

isabelle