isabelle: Changelog

wenzelm [Sat, 02 Jun 2007 18:05:33 +0200] rev 23204

moved specific target/local_abbrev to theory_target.ML;

krauss [Sat, 02 Jun 2007 15:28:38 +0200] rev 23203

"function (sequential)" and "fun" now handle incomplete patterns silently by adding "undefined" cases. more cleanup.

krauss [Sat, 02 Jun 2007 15:26:32 +0200] rev 23202

added "plural : 'a -> 'a -> 'b list -> 'a" for convenient error msg construction

wenzelm [Sat, 02 Jun 2007 13:52:07 +0200] rev 23201

proper handling of Tools;

webertj [Sat, 02 Jun 2007 08:54:05 +0200] rev 23200

cosmetic

webertj [Sat, 02 Jun 2007 08:50:29 +0200] rev 23199

refute_tac made more deterministic

webertj [Sat, 02 Jun 2007 03:17:44 +0200] rev 23198

extended

webertj [Sat, 02 Jun 2007 03:15:35 +0200] rev 23197

cosmetic

webertj [Sat, 02 Jun 2007 00:09:02 +0200] rev 23196

tracing disabled

webertj [Fri, 01 Jun 2007 23:52:06 +0200] rev 23195

additional tracing information

isabelle