Wed, 28 Jan 2009 11:04:10 +0100 haftmann Reflection.thy now in HOL/Library
Wed, 28 Jan 2009 11:36:45 +0100 wenzelm more robust treatment of SwingUtilities.isEventDispatchThread;
Wed, 28 Jan 2009 10:43:31 +0100 wenzelm annotate shared vars as @volatile;
Tue, 27 Jan 2009 19:56:26 +0100 wenzelm updated generated file;
Tue, 27 Jan 2009 19:56:20 +0100 wenzelm added label;
Tue, 27 Jan 2009 15:47:22 +0100 wenzelm plain non-dependent types;
Tue, 27 Jan 2009 15:22:46 +0100 wenzelm turned IsarDocument into trait for IsabelleProcess;
Tue, 27 Jan 2009 14:45:52 +0100 wenzelm HOL_USEDIR_OPTIONS: -Q false, giving up parallel proofs for now due to memory shortage;
Tue, 27 Jan 2009 14:28:51 +0100 wenzelm thm_proof: recovered single-threaded version;
Tue, 27 Jan 2009 13:52:32 +0100 wenzelm merged
Tue, 27 Jan 2009 13:41:45 +0100 wenzelm recovered example types from WordMain.thy;
Tue, 27 Jan 2009 12:59:38 +0100 wenzelm merged
Tue, 27 Jan 2009 12:59:22 +0100 wenzelm added share_common_data -- reduces heap space, but takes long;
Tue, 27 Jan 2009 12:57:24 +0100 wenzelm use https;
Tue, 27 Jan 2009 00:42:12 +0100 wenzelm thm_proof: replaced lazy by composed futures;
Tue, 27 Jan 2009 00:29:37 +0100 wenzelm proof_body: turned lazy into future -- ensures that body is fulfilled eventually, without explicit force;
Mon, 26 Jan 2009 22:15:35 +0100 haftmann explicit constraints
Mon, 26 Jan 2009 22:14:51 +0100 haftmann entry point for Word library now named Word
Mon, 26 Jan 2009 22:14:19 +0100 haftmann fixed reading of class specs: declare class operations in context
Mon, 26 Jan 2009 22:14:18 +0100 haftmann stripped Id
Mon, 26 Jan 2009 22:14:17 +0100 haftmann streamlined definitions, executable equality
Mon, 26 Jan 2009 22:14:17 +0100 haftmann tuned header
Mon, 26 Jan 2009 22:14:16 +0100 haftmann entry point for Word library now named Word
Mon, 26 Jan 2009 08:23:55 +0100 haftmann correct proof of assm_intro rule
Mon, 26 Jan 2009 08:23:41 +0100 haftmann sorted_take, sorted_drop
Fri, 23 Jan 2009 19:52:02 +0100 haftmann merged
Fri, 23 Jan 2009 19:51:49 +0100 haftmann fixed fixme
Fri, 23 Jan 2009 19:51:49 +0100 haftmann avoiding misleading name duplicate
Fri, 23 Jan 2009 19:51:48 +0100 haftmann lemmas dom_const, dom_if
Fri, 23 Jan 2009 15:37:12 +0100 wenzelm merged
(0) -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 +30000 tip