isabelle: Changelog

wenzelm [Sat, 11 Mar 2006 16:53:10 +0100] rev 19241

nbe: no_document;

wenzelm [Fri, 10 Mar 2006 19:49:58 +0100] rev 19240

tuned;

paulson [Fri, 10 Mar 2006 17:57:09 +0100] rev 19239

exporting reapAll and killChild

webertj [Fri, 10 Mar 2006 17:53:53 +0100] rev 19238

text delimiter fixed

webertj [Fri, 10 Mar 2006 17:24:16 +0100] rev 19237

comment delimiter fixed

webertj [Fri, 10 Mar 2006 16:31:50 +0100] rev 19236

clauses now use (meta-)hyps instead of (meta-)implications; significant speedup

haftmann [Fri, 10 Mar 2006 16:21:49 +0100] rev 19235

fix for document preparation

schirmer [Fri, 10 Mar 2006 16:05:34 +0100] rev 19234

Added Library/AssocList.thy

haftmann [Fri, 10 Mar 2006 15:33:48 +0100] rev 19233

renamed HOL + - * etc. to HOL.plus HOL.minus HOL.times etc.

paulson [Fri, 10 Mar 2006 12:28:38 +0100] rev 19232

Changed some warnings to debug messages

isabelle