isabelle: Changelog

nipkow [Sun, 03 Jun 2007 15:44:35 +0200] rev 23211

fixed tex error

nipkow [Sun, 03 Jun 2007 13:19:03 +0200] rev 23210

*** empty log message ***

Sun, 03 Jun 2007 12:58:28 +0200 *** empty log message ***

nipkow [Sun, 03 Jun 2007 12:58:28 +0200] rev 23209

*** empty log message ***

Sat, 02 Jun 2007 20:14:38 +0200 extended

webertj [Sat, 02 Jun 2007 20:14:38 +0200] rev 23208

extended

webertj [Sat, 02 Jun 2007 19:10:04 +0200] rev 23207

cosmetic

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

isabelle