2010-03-07 wenzelm 2010-03-07 modernized structure Object_Logic;
2010-02-27 wenzelm 2010-02-27 modernized structure Term_Ord;
2009-11-26 Philipp Meyer 2009-11-26 fixed csdp output parser
2009-10-22 wenzelm 2009-10-22 merged
2009-10-21 wenzelm 2009-10-21 use plain Scan.repeat (NB: Scan.bulk is for cascading sources -- mostly interna use);
2009-10-22 haftmann 2009-10-22 map_range (and map_index) combinator
2009-10-21 haftmann 2009-10-21 curried union as canonical list operation
2009-10-21 haftmann 2009-10-21 merged
2009-10-21 haftmann 2009-10-21 dropped redundant gen_ prefix
2009-10-21 wenzelm 2009-10-21 standardized basic operations on type option;
2009-10-20 wenzelm 2009-10-20 uniform use of Integer.min/max;
2009-10-19 wenzelm 2009-10-19 uniform use of Integer.add/mult/sum/prod;
2009-10-15 wenzelm 2009-10-15 eliminated slightly odd get/set operations in favour of Unsynchronized.ref; eliminated aliases of Output operations; print_cert: use warning for increased chance that the user actually sees the output; misc tuning and simplification;
2009-10-01 wenzelm 2009-10-01 tuned header; tuned whitespace;
2009-10-01 wenzelm 2009-10-01 core_sos_tac: SUBPROOF body operates on subgoal 1; tuned;
2009-10-01 Philipp Meyer 2009-10-01 changed core_sos_tac to use SUBPROOF
2009-09-30 Philipp Meyer 2009-09-30 replaced and tuned uses of foldr1
2009-09-30 Philipp Meyer 2009-09-30 tuned FuncFun and FuncUtil structure in positivstellensatz.ML
2009-09-22 Philipp Meyer 2009-09-22 removed opening of structures
2009-09-29 wenzelm 2009-09-29 explicit indication of Unsynchronized.ref;
2009-09-22 Philipp Meyer 2009-09-22 used standard fold function and type aliases
2009-09-21 Philipp Meyer 2009-09-21 sos method generates and uses proof certificates
2009-08-06 wenzelm 2009-08-06 misc changes to SOS by Philipp Meyer: CSDP_EXE as central setting; separate component src/HOL/Library/Sum_Of_Squares; misc tuning and rearrangement of neos_csdp_client; more robust treatment of shell paths; debugging depends on local flag; removed unused parts;