isabelle: Changelog

wenzelm [Tue, 28 Aug 2007 11:25:29 +0200] rev 24444

induct: proper separation of initial and terminal step; avoid unspecific prems;

huffman [Tue, 28 Aug 2007 03:58:37 +0200] rev 24443

move WordExamples to Examples directory

huffman [Tue, 28 Aug 2007 03:56:24 +0200] rev 24442

HOL-Word-Examples

huffman [Tue, 28 Aug 2007 03:49:18 +0200] rev 24441

Word Examples directory

kleing [Tue, 28 Aug 2007 00:18:10 +0200] rev 24440

add parallel sessions for atbroy99 and macbroy6

wenzelm [Mon, 27 Aug 2007 17:34:55 +0200] rev 24439

HOL_USEDIR_OPTIONS: no special -M setting (now works with multithreaded);

nipkow [Mon, 27 Aug 2007 14:19:38 +0200] rev 24438

Added infinite_descent

haftmann [Mon, 27 Aug 2007 11:34:19 +0200] rev 24437

updated keywords

haftmann [Mon, 27 Aug 2007 11:34:18 +0200] rev 24436

added code_props

haftmann [Mon, 27 Aug 2007 11:34:17 +0200] rev 24435

introduces params_of_sort

isabelle