isabelle: Changelog

webertj [Mon, 07 Aug 2006 03:10:38 +0200] rev 20346

title fixed

wenzelm [Sat, 05 Aug 2006 15:15:07 +0200] rev 20345

updated;

wenzelm [Sat, 05 Aug 2006 14:55:09 +0200] rev 20344

avoid low-level tsig;

wenzelm [Sat, 05 Aug 2006 14:52:58 +0200] rev 20343

reworked read_instantiate -- separate read_insts;

wenzelm [Sat, 05 Aug 2006 14:52:57 +0200] rev 20342

tuned;

wenzelm [Sat, 05 Aug 2006 14:52:55 +0200] rev 20341

removed obsolete sign_of;

wenzelm [Sat, 05 Aug 2006 14:52:53 +0200] rev 20340

Amine Chaieb: experimental generic reflection and reification in HOL;

isatest [Sat, 05 Aug 2006 00:52:17 +0200] rev 20339

use atbroy101 instead of atbroy98 (freezes up)

krauss [Fri, 04 Aug 2006 18:01:45 +0200] rev 20338

Added Keywords: "otherwise" and "sequential", needed for function package's sequential mode.

chaieb [Fri, 04 Aug 2006 12:01:31 +0200] rev 20337

*** empty log message ***

isabelle