Tue, 21 Oct 2008 16:53:00 +0200 wenzelm join_results: allow CRITICAL join of finished futures;
Tue, 21 Oct 2008 16:52:59 +0200 wenzelm Future.join_result;
Tue, 21 Oct 2008 15:01:18 +0200 wenzelm added Future.enabled check;
Tue, 21 Oct 2008 15:01:16 +0200 wenzelm ThyOutput: export some auxiliary operations;
Mon, 20 Oct 2008 23:53:17 +0200 nipkow fixed proof
Mon, 20 Oct 2008 23:52:59 +0200 nipkow added lemmas
Sun, 19 Oct 2008 21:20:55 +0200 berghofe Names of variables in perm_eqs are now chosen more carefully to avoid
Sun, 19 Oct 2008 21:19:27 +0200 berghofe - removed test_params from CodegenData (now in Pure/Tools/quickcheck.ML)
Sun, 19 Oct 2008 21:14:53 +0200 berghofe datatype_codegen now checks name of result type of constructor
Sun, 19 Oct 2008 20:09:37 +0200 wenzelm run a program in a modified environment;
Fri, 17 Oct 2008 10:39:39 +0200 wenzelm reactivated HOL-Matrix;
Fri, 17 Oct 2008 10:21:03 +0200 haftmann tuned
Fri, 17 Oct 2008 10:14:38 +0200 haftmann filled remaining gaps
Fri, 17 Oct 2008 10:14:12 +0200 haftmann added type antiquotation
Thu, 16 Oct 2008 23:58:29 +0200 wenzelm tuned;
Thu, 16 Oct 2008 23:56:57 +0200 wenzelm added dep for Concurrent/ROOT.ML;
Thu, 16 Oct 2008 23:47:01 +0200 wenzelm tuned;
Thu, 16 Oct 2008 23:21:23 +0200 wenzelm removed Locales;
Thu, 16 Oct 2008 22:45:08 +0200 wenzelm goal-directed proof now enforces strict proof irrelevance wrt. sort hypotheses;
Thu, 16 Oct 2008 22:44:37 +0200 wenzelm added translations for SORT_CONSTRAINT
Thu, 16 Oct 2008 22:44:36 +0200 wenzelm conclude_goal: precise goal context, include all sorts from context into statement, check shyps of result;
Thu, 16 Oct 2008 22:44:35 +0200 wenzelm added make;
Thu, 16 Oct 2008 22:44:34 +0200 wenzelm maintain sort occurrences of declared terms;
Thu, 16 Oct 2008 22:44:33 +0200 wenzelm added weaken_sorts;
Thu, 16 Oct 2008 22:44:32 +0200 wenzelm added make, minimal_sorts;
Thu, 16 Oct 2008 22:44:31 +0200 wenzelm added const sort_constraint with syntax SORT_CONSTRAINT -- logically vacous;
Thu, 16 Oct 2008 22:44:30 +0200 wenzelm added check_shyps, which reject pending sort hypotheses;
Thu, 16 Oct 2008 22:44:29 +0200 wenzelm Drule.norm_hhf_eqs;
Thu, 16 Oct 2008 22:44:28 +0200 wenzelm prove_common: include all sorts from context into statement, check shyps of result;
Thu, 16 Oct 2008 22:44:27 +0200 wenzelm added rules for sort_constraint, include in norm_hhf_eqs;
Thu, 16 Oct 2008 22:44:26 +0200 wenzelm tuned;
Thu, 16 Oct 2008 22:44:25 +0200 wenzelm avoid accidental dependency of automated proof on sort equiv;
Thu, 16 Oct 2008 22:44:24 +0200 wenzelm explicit SORT_CONSTRAINT for proofs depending implicitly on certain sorts;
Thu, 16 Oct 2008 22:44:22 +0200 wenzelm avoid CRITICAL with_path;
Thu, 16 Oct 2008 19:44:36 +0200 huffman rewrite more proofs in Isar style
Thu, 16 Oct 2008 17:52:54 +0200 ballarin Removed ex/Locales.thy.
Thu, 16 Oct 2008 17:19:47 +0200 ballarin More occurrences of 'includes' gone.
Thu, 16 Oct 2008 17:07:20 +0200 ballarin Removed outdated locales tutorial.
Thu, 16 Oct 2008 08:51:05 +0200 haftmann correct rounding
Thu, 16 Oct 2008 08:48:27 +0200 haftmann circumvent some TeX problem
Thu, 16 Oct 2008 00:18:53 +0200 kleing only test HOL image for smlnj
Wed, 15 Oct 2008 22:12:02 +0200 wenzelm tuned;
Wed, 15 Oct 2008 21:45:02 +0200 wenzelm tuned;
Wed, 15 Oct 2008 21:15:35 +0200 wenzelm generic ATP manager based on threads (by Fabian Immler);
Wed, 15 Oct 2008 21:06:15 +0200 wenzelm added sledgehammer etc.;
Wed, 15 Oct 2008 19:43:11 +0200 wenzelm removed obsolete Complex sessions;
Wed, 15 Oct 2008 16:25:31 +0200 haftmann figure for adaption
Wed, 15 Oct 2008 16:06:59 +0200 ballarin Removed 'includes' (fixed).
Wed, 15 Oct 2008 15:44:15 +0200 ballarin Removed 'includes'.
Wed, 15 Oct 2008 00:18:43 +0200 kleing give more time to do inital loggin and settings read
Wed, 15 Oct 2008 00:18:19 +0200 kleing log start of test session
Tue, 14 Oct 2008 20:10:45 +0200 wenzelm tuned interfaces -- plain prover function, without thread;
Tue, 14 Oct 2008 20:10:44 +0200 wenzelm add_prover: plain prover function, without thread;
Tue, 14 Oct 2008 20:10:43 +0200 wenzelm tuned AtpWrapper interfaces;
Tue, 14 Oct 2008 16:32:26 +0200 haftmann continued codegen tutorial
Tue, 14 Oct 2008 16:01:36 +0200 wenzelm renamed AtpThread to AtpWrapper;
Tue, 14 Oct 2008 15:45:46 +0200 wenzelm adding preferences is now permissive;
Tue, 14 Oct 2008 15:45:45 +0200 wenzelm tuned;
Tue, 14 Oct 2008 15:45:44 +0200 wenzelm adding preferences is now permissive, no error handling here;
Tue, 14 Oct 2008 15:16:13 +0200 wenzelm CRITICAL access to preferences;
(0) -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip