2015-07-27 haftmann 2015-07-27 formal class for factorial (semi)rings
2015-07-27 wenzelm 2015-07-27 merged
2015-07-27 wenzelm 2015-07-27 NEWS;
2015-07-27 wenzelm 2015-07-27 tuned signature;
2015-07-27 paulson 2015-07-27 New material for Cauchy's integral theorem
2015-07-27 wenzelm 2015-07-27 tuned signature for print_nested_cases;
2015-07-27 wenzelm 2015-07-27 more explicit checks -- improved errors;
2015-07-27 wenzelm 2015-07-27 eliminated cterm_instantiate;
2015-07-27 wenzelm 2015-07-27 updated to infer_instantiate; clarified context;
2015-07-27 wenzelm 2015-07-27 tuned signature;
2015-07-27 wenzelm 2015-07-27 added infer_instantiate_vars, which allows inconsistent types for variables, as required for Metis proof reconstruction;
2015-07-26 wenzelm 2015-07-26 eliminated atac, rtac, etac, dtac, ftac;
2015-07-26 wenzelm 2015-07-26 updated to infer_instantiate;
2015-07-26 wenzelm 2015-07-26 updated to infer_instantiate;
2015-07-26 wenzelm 2015-07-26 updated to infer_instantiate;
2015-07-26 wenzelm 2015-07-26 proper context;
2015-07-26 wenzelm 2015-07-26 updated to infer_instantiate;
2015-07-26 wenzelm 2015-07-26 updated to infer_instantiate; clarified context;
2015-07-26 wenzelm 2015-07-26 ignore non-existant variables, like other instantiate rules;
2015-07-26 wenzelm 2015-07-26 updated to infer_instantiate;
2015-07-26 wenzelm 2015-07-26 updated to infer_instantiate;
2015-07-26 wenzelm 2015-07-26 added infer_instantiate'; clarified boundary cases of instantiate';
2015-07-26 wenzelm 2015-07-26 more uniform exceptions, like cterm_instantiate;
2015-07-25 wenzelm 2015-07-25 updated to infer_instantiate; tuned;
2015-07-25 wenzelm 2015-07-25 more accurate maxidx;
2015-07-25 wenzelm 2015-07-25 clarified error;
2015-07-25 wenzelm 2015-07-25 added infer_instantiate, which is meant to supersede cterm_instantiate;
2015-07-24 wenzelm 2015-07-24 eliminated alias;
2015-07-24 wenzelm 2015-07-24 proper context;
2015-07-24 wenzelm 2015-07-24 unused;
2015-07-24 wenzelm 2015-07-24 proper context;
2015-07-23 wenzelm 2015-07-23 more symbols by default, without xsymbols mode;
2015-07-23 hoelzl 2015-07-23 Measures form a CCPO
2015-07-23 hoelzl 2015-07-23 reorganized Extended_Real
2015-07-23 wenzelm 2015-07-23 isabelle update_cartouches;
2015-07-23 wenzelm 2015-07-23 tuned proofs;
2015-07-23 wenzelm 2015-07-23 proper latex;
2015-07-22 wenzelm 2015-07-22 tuned proofs;
2015-07-22 wenzelm 2015-07-22 tuned proofs;
2015-07-21 wenzelm 2015-07-21 support for ML debugger;
2015-07-21 wenzelm 2015-07-21 more explicit thread identification;
2015-07-21 wenzelm 2015-07-21 avoid lxbroy2, lxbroy3, lxbroy4, which are often busy with other processes;
2015-07-20 paulson 2015-07-20 new material for multivariate analysis, etc.
2015-07-20 wenzelm 2015-07-20 proper LaTeX;
2015-07-19 wenzelm 2015-07-19 updated to jdk-8u51;
2015-07-19 wenzelm 2015-07-19 more symbols;
2015-07-18 wenzelm 2015-07-18 isabelle update_cartouches;
2015-07-18 wenzelm 2015-07-18 prefer tactics with explicit context;
2015-07-18 wenzelm 2015-07-18 prefer tactics with explicit context;
2015-07-18 wenzelm 2015-07-18 merged
2015-07-18 wenzelm 2015-07-18 prefer tactics with explicit context;
2015-07-18 wenzelm 2015-07-18 tuned whitespace;
2015-07-18 wenzelm 2015-07-18 prefer tactics with explicit context;
2015-07-18 wenzelm 2015-07-18 reactivated dead code;
2015-07-17 wenzelm 2015-07-17 more uniform ComponentAdapter;
2015-07-17 wenzelm 2015-07-17 skeleton for interactive debugger;
2015-07-17 wenzelm 2015-07-17 tuned;
2015-07-17 wenzelm 2015-07-17 tuned;
2015-07-17 wenzelm 2015-07-17 store breakpoints within ML environment;
2015-07-17 wenzelm 2015-07-17 clarified ML compiler parameters: always provide PolyML.Compiler.CPDebug, ignore global default; tuned;