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
Fri, 23 Jan 2009 09:06:14 +0100 immler moved all output to watcher-thread
Fri, 23 Jan 2009 10:21:48 +0100 haftmann be more liberal with selected code statements
Fri, 23 Jan 2009 10:21:27 +0100 haftmann making SMLNJ happy
Thu, 22 Jan 2009 11:23:15 +0100 wenzelm tuned signature;
Thu, 22 Jan 2009 09:08:58 +0100 haftmann binding replaces Binding.T
Thu, 22 Jan 2009 09:04:56 +0100 haftmann binding replaces bstring
Thu, 22 Jan 2009 09:04:46 +0100 haftmann simplified handling of base sort, dropped axclass
Thu, 22 Jan 2009 09:04:45 +0100 haftmann dropped print_interps
Thu, 22 Jan 2009 09:04:45 +0100 haftmann binding replaces bstring
Wed, 21 Jan 2009 23:42:37 +0100 haftmann merged
Wed, 21 Jan 2009 23:40:23 +0100 haftmann allow empty class specs
Wed, 21 Jan 2009 23:40:23 +0100 haftmann changed import hierarchy
Wed, 21 Jan 2009 23:40:23 +0100 haftmann no base sort in class import
Wed, 21 Jan 2009 23:25:17 +0100 wenzelm updated generated files;
Wed, 21 Jan 2009 23:21:44 +0100 wenzelm removed Ids;
Wed, 21 Jan 2009 22:26:49 +0100 wenzelm eliminated obsolete var morphism;
Wed, 21 Jan 2009 22:26:49 +0100 wenzelm eliminated obsolete var morphism;
Wed, 21 Jan 2009 22:26:48 +0100 wenzelm eliminated obsolete var morphism;
Wed, 21 Jan 2009 20:24:44 +0100 wenzelm merged
Wed, 21 Jan 2009 20:20:43 +0100 wenzelm tuned whitespace;
Wed, 21 Jan 2009 20:05:31 +0100 wenzelm merged
Wed, 21 Jan 2009 15:26:02 +0100 immler removed vampire-wrapper (remote-script covers that)
Wed, 21 Jan 2009 15:22:51 +0100 immler 2 provers
Wed, 21 Jan 2009 14:57:33 +0100 immler tuned;
Tue, 20 Jan 2009 23:35:37 +0100 immler do not interrupt successful thread
Tue, 20 Jan 2009 22:19:46 +0100 immler cancel whole group
Tue, 20 Jan 2009 20:58:25 +0100 immler Automated merge with http://isabelle.in.tum.de/repos/isabelle/tip
Tue, 20 Jan 2009 20:58:08 +0100 immler pass timeout to prover;
Tue, 20 Jan 2009 18:12:06 +0100 immler typo
Tue, 20 Jan 2009 18:10:25 +0100 immler merged
Tue, 20 Jan 2009 16:05:57 +0100 immler modified remote script;
Mon, 19 Jan 2009 20:24:10 +0100 immler Automated merge with http://isabelle.in.tum.de/repos/isabelle/tip
Wed, 14 Jan 2009 20:19:47 +0100 immler removed useless
(0) -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip