2008-03-25 ago wenzelm setup for dynamic "prems" (legacy);
2008-03-25 ago wenzelm more antiquotations;
2008-03-25 ago wenzelm moved multithreaded "profile" to multithreading_polyml.ML;
2008-03-25 ago wenzelm use polyml_old_compiler5.ML;
2008-03-25 ago haftmann removed
2008-03-24 ago wenzelm removed obsolete use_legacy_bindings;
2008-03-24 ago wenzelm ML runtime compilation: pass position, tuned signature;
2008-03-24 ago wenzelm ML runtime compilation: pass position, tuned signature;
2008-03-24 ago wenzelm removed junk;
2008-03-24 ago wenzelm Runtime compilation -- for old version of PolyML.compilerEx (version 5.0, 5.1).
2008-03-24 ago wenzelm Runtime compilation -- for old version of PolyML.compiler (version 4.x).
2008-03-24 ago wenzelm Compatibility wrapper for Poly/ML 5.1.
2008-03-24 ago wenzelm removed pointer_eq from polyml_common.ML (structure Address no longer available after 5.1);
2008-03-24 ago wenzelm updated use_text/file for 5.2;
2008-03-24 ago wenzelm moved use_text/file to polyml_old_compiler5.ML;
2008-03-24 ago wenzelm removed pointer_eq from polyml_common.ML (structure Address no longer available after 5.1);
2008-03-24 ago wenzelm added ML-Systems/polyml-5.1.ML, ML-Systems/polyml_old_compiler4.ML, ML-Systems/polyml_old_compiler5.ML;
2008-03-24 ago wenzelm back to feeder -- Isabelle ML setup no longer evaluates command line;
2008-03-24 ago wenzelm simplified thm_antiq;
2008-03-24 ago wenzelm removed unused print_properties, print_position;
2008-03-24 ago wenzelm replaced obsolete /usr/proj by /home;
2008-03-24 ago wenzelm replaced obsolete /usr/proj by /home;
2008-03-24 ago wenzelm remote CVSROOT: default to atbroy100 instead of sunbroy2;
2008-03-24 ago wenzelm tuned settings for target platforms;
2008-03-20 ago wenzelm thm_antiq: produce error at runtime, not compile time;
2008-03-20 ago wenzelm get_thms etc.: improved reporting of source position;
2008-03-20 ago wenzelm added pos_of_ref;
2008-03-20 ago wenzelm fixed proof;
2008-03-20 ago berghofe Equivariance prover now uses permutation simprocs as well.
2008-03-20 ago wenzelm export add/del_thm;
2008-03-20 ago wenzelm added print_properties, print_position;
2008-03-20 ago wenzelm Facts.Named: include position;
2008-03-20 ago haftmann tuned proofs
2008-03-20 ago haftmann more antiquotations
2008-03-20 ago haftmann Product_Type.apfst and Product_Type.apsnd; mbind combinator; tuned
2008-03-20 ago haftmann added forward composition
2008-03-20 ago haftmann Product_Type.apfst and Product_Type.apsnd
2008-03-20 ago haftmann Theory Product_Type; fixed typos
2008-03-20 ago haftmann rearranged
2008-03-20 ago haftmann (continued)
2008-03-20 ago haftmann tuned
2008-03-20 ago haftmann tuned import
2008-03-20 ago haftmann adjusted authorship
2008-03-20 ago haftmann tuned proof
2008-03-20 ago haftmann added theory Library/Enum.thy
2008-03-20 ago haftmann tuned proofs
2008-03-20 ago wenzelm simplified get_thm(s): back to plain name argument;
2008-03-20 ago wenzelm renamed former get_thms(_silent) to get_fact(_silent);
2008-03-20 ago wenzelm simplified get_thm(s): back to plain name argument;
2008-03-20 ago wenzelm simplified get_thm(s): back to plain name argument;
2008-03-19 ago wenzelm more antiquotations;
2008-03-19 ago wenzelm avoid Auto_tac;
2008-03-19 ago wenzelm more antiquotations;
2008-03-19 ago wenzelm eliminated change_claset/simpset;
2008-03-19 ago wenzelm auxiliary dynamic_thm(s) for fact lookup;
2008-03-19 ago wenzelm auxiliary dynamic_thm(s) for fact lookup;
2008-03-19 ago wenzelm renamed datatype thmref to Facts.ref, tuned interfaces;
2008-03-19 ago wenzelm removed redundant Nat.less_not_sym, Nat.less_asym;
2008-03-19 ago wenzelm removed redundant Nat.less_irrefl;
2008-03-19 ago paulson Attributes sledgehammer_full, sledgehammer_modulus, sledgehammer_sorts