2007-07-28 wenzelm 2007-07-28 tuned;
2007-07-28 wenzelm 2007-07-28 added get_cs/map_cs;
2007-07-28 wenzelm 2007-07-28 tuned signature;
2007-07-28 wenzelm 2007-07-28 tuned ML/simproc declarations;
2007-07-28 wenzelm 2007-07-28 removed redundant simproc declarations;
2007-07-28 wenzelm 2007-07-28 simproc_setup fun_upd2;
2007-07-28 wenzelm 2007-07-28 added [[decl]] notation;
2007-07-28 wenzelm 2007-07-28 added command 'simproc_setup', attribute "simproc";
2007-07-27 wenzelm 2007-07-27 attribs: not cut (!!!);
2007-07-27 wenzelm 2007-07-27 xthm: added [[declaration]] syntax (abbreviates dummy_thm [att]);
2007-07-27 wenzelm 2007-07-27 get_thm etc.: map empty name to dummy_thm;
2007-07-27 wenzelm 2007-07-27 chain/using: filter out dummy_thm;
2007-07-27 wenzelm 2007-07-27 method section scanners: added [[declaration]] syntax, ignore sid-effects of thms;
2007-07-27 wenzelm 2007-07-27 renamed Config to ConfigOption;
2007-07-27 wenzelm 2007-07-27 renamed Config to ConfigOption; thm scanners: added [[declaration]] syntax (abbreviates dummy_thm [att]);
2007-07-27 wenzelm 2007-07-27 renamed config.ML to config_option.ML;
2007-07-27 wenzelm 2007-07-27 Druke.dummy_thm;
2007-07-27 wenzelm 2007-07-27 added dummy_thm, is_dummy_thm;
2007-07-27 wenzelm 2007-07-27 map_value: dynamic type checking;
2007-07-27 wenzelm 2007-07-27 attribute "option": more elaborate syntax (with value parsing);
2007-07-27 wenzelm 2007-07-27 added terminator, named_attribute;
2007-07-27 wenzelm 2007-07-27 exported datatype value; added the_config; removed put_generic_src -- moved value parsing to attrib.ML; tuned;
2007-07-27 chaieb 2007-07-27 no 'nat' is needed for Bound in reification
2007-07-27 haftmann 2007-07-27 *** empty log message ***
2007-07-27 haftmann 2007-07-27 added cases
2007-07-26 chaieb 2007-07-26 Updated proofs;
2007-07-26 chaieb 2007-07-26 Updated reification : CX discontinued for CN
2007-07-26 chaieb 2007-07-26 Updated proofs; changed shadow syntax to improve (processing) time
2007-07-26 chaieb 2007-07-26 removed redundant ilcm_dvd1 ilcm_dvd2 zvdd_abs1
2007-07-26 nipkow 2007-07-26 fixed broken proof
2007-07-25 wenzelm 2007-07-25 updated;
2007-07-25 wenzelm 2007-07-25 renamed CRITICAL' to NAMED_CRITICAL; tuned messages;
2007-07-25 wenzelm 2007-07-25 renamed CRITICAL' to NAMED_CRITICAL;
2007-07-25 wenzelm 2007-07-25 added command 'print_options';
2007-07-25 wenzelm 2007-07-25 added attribute "option" for setting configuration options;
2007-07-25 wenzelm 2007-07-25 Configuration options as values within the local context.
2007-07-25 wenzelm 2007-07-25 added config.ML;
2007-07-25 wenzelm 2007-07-25 NAMED_CRITICAL;
2007-07-25 nipkow 2007-07-25 fixed broken proof
2007-07-25 nipkow 2007-07-25 Added lemmas
2007-07-25 wenzelm 2007-07-25 require_thy/schedule: improved task graph, actually observe dependencies on running tasks;
2007-07-25 wenzelm 2007-07-25 added trace flag, official tracing operation; added named CRITICAL'; schedule: tuned signature, actually observe dependencies on running tasks;
2007-07-25 wenzelm 2007-07-25 added structure Task; added trace flag, official tracing operation; added named CRITICAL'; schedule: tuned signature;
2007-07-25 wenzelm 2007-07-25 Secure.use_noncritical root;
2007-07-25 wenzelm 2007-07-25 added use_noncritical;
2007-07-25 ballarin 2007-07-25 tuned
2007-07-24 wenzelm 2007-07-24 fixed proofs involving dvd;
2007-07-24 wenzelm 2007-07-24 *** empty log message ***
2007-07-24 wenzelm 2007-07-24 require_thy: tuned tasks graph, removed visited; use_thy etc.: schedule for multithreading;
2007-07-24 wenzelm 2007-07-24 renamed number_of_threads to max_threads; added schedule operator;
2007-07-24 wenzelm 2007-07-24 added usedir option -M: max threads;
2007-07-24 krauss 2007-07-24 renamed lemma "set_take_whileD" to "set_takeWhileD"
2007-07-24 urbanc 2007-07-24 cleaned up the proofs a bit
2007-07-24 nipkow 2007-07-24 Added cancel simprocs for dvd on nat and int
2007-07-24 wenzelm 2007-07-24 renamed to multithreading_dummy.ML;
2007-07-24 wenzelm 2007-07-24 require_thy: explicit tasks graph; added sequential scheduler; internal tuning;
2007-07-24 wenzelm 2007-07-24 moved exception capture/release to structure Exn; moved multithreading to multithreading_polyml.ML;
2007-07-24 wenzelm 2007-07-24 ML-Systems/exn.ML, ML-Systems/multithreading_dummy.ML;
2007-07-24 wenzelm 2007-07-24 added topological_order; tuned;
2007-07-24 wenzelm 2007-07-24 moved exception capture/release to structure Exn;