isabelle: Changelog

wenzelm [Tue, 27 Jan 2009 19:56:26 +0100] rev 29647

updated generated file;

wenzelm [Tue, 27 Jan 2009 19:56:20 +0100] rev 29646

added label;

wenzelm [Tue, 27 Jan 2009 15:47:22 +0100] rev 29645

plain non-dependent types;

wenzelm [Tue, 27 Jan 2009 15:22:46 +0100] rev 29644

turned IsarDocument into trait for IsabelleProcess;

wenzelm [Tue, 27 Jan 2009 14:45:52 +0100] rev 29643

HOL_USEDIR_OPTIONS: -Q false, giving up parallel proofs for now due to memory shortage;

wenzelm [Tue, 27 Jan 2009 14:28:51 +0100] rev 29642

thm_proof: recovered single-threaded version;

wenzelm [Tue, 27 Jan 2009 13:52:32 +0100] rev 29641

merged

wenzelm [Tue, 27 Jan 2009 13:41:45 +0100] rev 29640

recovered example types from WordMain.thy;

wenzelm [Tue, 27 Jan 2009 12:59:38 +0100] rev 29639

merged

wenzelm [Tue, 27 Jan 2009 12:59:22 +0100] rev 29638

added share_common_data -- reduces heap space, but takes long;

isabelle