isabelle: Changelog

wenzelm [Sat, 20 Oct 2007 18:54:31 +0200] rev 25118

added input/internal, which are never active in print_mode_value;

wenzelm [Sat, 20 Oct 2007 18:54:30 +0200] rev 25117

no_variables: tuned error msg;

wenzelm [Sat, 20 Oct 2007 18:54:29 +0200] rev 25116

PrintMode.internal;

wenzelm [Sat, 20 Oct 2007 18:54:28 +0200] rev 25115

tuned;

wenzelm [Sat, 20 Oct 2007 18:54:28 +0200] rev 25114

add_inductive: more careful handling of abbrevs -- do not expand prematurely;

wenzelm [Sat, 20 Oct 2007 15:46:04 +0200] rev 25113

fixed proof: neq0_conv;

chaieb [Sat, 20 Oct 2007 12:09:33 +0200] rev 25112

fixed proofs

chaieb [Sat, 20 Oct 2007 12:09:30 +0200] rev 25111

neq0_conv removed from [iff] -- causes problems by simple goals with blast, auto etc...

wenzelm [Fri, 19 Oct 2007 23:21:15 +0200] rev 25110

export_code: proper command;

wenzelm [Fri, 19 Oct 2007 23:21:13 +0200] rev 25109

warn_open: context position;

isabelle