isabelle: Changelog

huffman [Wed, 02 Jan 2008 18:23:45 +0100] rev 25780

added new lemmas

huffman [Wed, 02 Jan 2008 17:26:19 +0100] rev 25779

add lemma dir2dir_monofun

wenzelm [Wed, 02 Jan 2008 16:44:58 +0100] rev 25778

tuned;

huffman [Wed, 02 Jan 2008 16:37:27 +0100] rev 25777

new is_ub lemmas; new lub syntax for set image

wenzelm [Wed, 02 Jan 2008 16:33:07 +0100] rev 25776

Multithreading.max_threads := 0 refers to number of cores of underlying machine;

wenzelm [Wed, 02 Jan 2008 16:32:53 +0100] rev 25775

added Multithreading.max_threads_value, which maps a value of 0 to number of CPUs;

wenzelm [Wed, 02 Jan 2008 16:32:52 +0100] rev 25774

added usedir -M max (alias for -M 0);

huffman [Wed, 02 Jan 2008 16:17:49 +0100] rev 25773

new section for directed sets

haftmann [Wed, 02 Jan 2008 15:39:42 +0100] rev 25772

split of class uminus

haftmann [Wed, 02 Jan 2008 15:14:27 +0100] rev 25771

empty dictionaries for OCaml

isabelle