2008-01-02 wenzelm 2008-01-02 added Multithreading.max_threads_value, which maps a value of 0 to number of CPUs;
2008-01-02 wenzelm 2008-01-02 added usedir -M max (alias for -M 0);
2008-01-02 huffman 2008-01-02 new section for directed sets
2008-01-02 haftmann 2008-01-02 split of class uminus
2008-01-02 haftmann 2008-01-02 empty dictionaries for OCaml
2008-01-02 haftmann 2008-01-02 clarified policy
2008-01-02 haftmann 2008-01-02 tuned
2008-01-02 haftmann 2008-01-02 some more antiquotations
2008-01-02 haftmann 2008-01-02 index now a copy of nat rather than int
2008-01-02 haftmann 2008-01-02 absolute import
2008-01-02 haftmann 2008-01-02 some more primrec
2008-01-02 haftmann 2008-01-02 removed some legacy instantiations
2008-01-02 haftmann 2008-01-02 improved evaluation mechanism
2008-01-02 haftmann 2008-01-02 splitted class uminus from class minus
2008-01-02 paulson 2008-01-02 testing for empty sort
2008-01-02 paulson 2008-01-02 new metis proofs
2008-01-02 kleing 2008-01-02 renamed foldM to fold_mset on general request added Tobias' lemmas on fold_mset (A+B) etc tuned default simp set for fold_mset
2008-01-02 huffman 2008-01-02 update instance proofs to new style
2008-01-01 huffman 2008-01-01 declare sprodE as cases rule; new induction rule sprod_induct
2008-01-01 huffman 2008-01-01 add induction rule ssum_induct
2008-01-01 wenzelm 2008-01-01 eval_wrapper: CRITICAL; tuned;
2008-01-01 wenzelm 2008-01-01 try_ml_file: setmp explicit theory context, prevents race condition wrt. concurrent ML_Context.set_context;
2008-01-01 wenzelm 2008-01-01 tuned spaces;
2008-01-01 wenzelm 2008-01-01 removed separate exists/forall code;
2008-01-01 urbanc 2008-01-01 tuned proofs and comments
2007-12-31 wenzelm 2007-12-31 removed obsolete banner;
2007-12-30 wenzelm 2007-12-30 tuned;
2007-12-30 wenzelm 2007-12-30 added PROMPT message;
2007-12-30 wenzelm 2007-12-30 added isSystem; tune isRaw;
2007-12-30 wenzelm 2007-12-30 simple make script;
2007-12-29 wenzelm 2007-12-29 tuned comments (javadoc);
2007-12-27 wenzelm 2007-12-27 use polyml-cvs, the 5.2 development branch;
2007-12-22 wenzelm 2007-12-22 tuned RandomWord interface;
2007-12-22 wenzelm 2007-12-22 added int/real/list operations; tuned interface; tuned;
2007-12-22 wenzelm 2007-12-22 use random_word.ML earlier;
2007-12-21 huffman 2007-12-21 changed type definition to make Iwhen and reasoning about chains unnecessary; rearranged sections
2007-12-21 ballarin 2007-12-21 Fixed eta constraction issue in compose_witness
2007-12-20 wenzelm 2007-12-20 included meson/metis tests in simultaneous use_thys;
2007-12-20 wenzelm 2007-12-20 ``print mode'' is now a thread-local value derived from a global template;
2007-12-20 wenzelm 2007-12-20 scheduling/next_task: PrintMode.closure;
2007-12-20 wenzelm 2007-12-20 added get/put_data;
2007-12-20 wenzelm 2007-12-20 separated into global template vs. thread-local value; made setmp thread-local (non-critical); added closure;
2007-12-20 wenzelm 2007-12-20 Universal values via tagged union. Emulates structure Universal in Poly/ML 5.1.
2007-12-20 wenzelm 2007-12-20 added ML-Systems/universal.ML;
2007-12-20 wenzelm 2007-12-20 updated;
2007-12-20 wenzelm 2007-12-20 obsolete;
2007-12-20 wenzelm 2007-12-20 removed obsolete (slow!) Random implementation;
2007-12-20 wenzelm 2007-12-20 moved Pure/General/random_word.ML to Tools/random_word.ML;
2007-12-20 wenzelm 2007-12-20 adapted theory name;
2007-12-20 wenzelm 2007-12-20 * Metis prover an order of magnitude faster, works with multithreading.
2007-12-20 wenzelm 2007-12-20 updated HOL-Nominal-Examples deps;
2007-12-20 wenzelm 2007-12-20 made refute non-critical (seems to work after avoiding floating point random numbers);
2007-12-20 huffman 2007-12-20 move bottom-related stuff back into Pcpo.thy
2007-12-20 urbanc 2007-12-20 polishing of some proofs
2007-12-20 wenzelm 2007-12-20 Random.range_real makes SML/NJ happy;
2007-12-19 wenzelm 2007-12-19 tuned comments;
2007-12-19 wenzelm 2007-12-19 tuned RandomWord signature;
2007-12-19 wenzelm 2007-12-19 removed strange MacRoman character;
2007-12-19 wenzelm 2007-12-19 using RandomWord from Isabelle/Pure gains factor 10-20 speedup;
2007-12-19 wenzelm 2007-12-19 updated;