isabelle: Changelog

wenzelm [Sat, 02 Jun 2007 18:35:38 +0200] rev 23206

made SML/NJ happy;

wenzelm [Sat, 02 Jun 2007 18:05:34 +0200] rev 23205

added target/local_abbrev (from proof_context.ML); target_abbrev: demand equal head const (tool compliance);

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

isabelle