isabelle: Changelog

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

paulson [Fri, 10 Mar 2006 12:27:36 +0100] rev 19231

Frequency analysis of constants (with types). Ability to restrict the number of accepted clauses.

mengj [Fri, 10 Mar 2006 04:03:48 +0100] rev 19230

Shortened the exception messages from assume.

mengj [Fri, 10 Mar 2006 04:02:53 +0100] rev 19229

METAHYPS catches THM assume exception and prints out the terms containing schematic vars.

huffman [Fri, 10 Mar 2006 00:53:28 +0100] rev 19228

added many simple lemmas

isabelle