2009-10-26 wenzelm 2009-10-26 recovered sort indentation for "sort position", as documented in the file; more precise dependencies -- HOL-Multivariate_Analysis produces an image; tuned;
2009-10-26 wenzelm 2009-10-26 tuned white space;
2009-10-26 haftmann 2009-10-26 merged
2009-10-26 haftmann 2009-10-26 merged
2009-10-26 haftmann 2009-10-26 avoid upto if not needed
2009-10-26 haftmann 2009-10-26 conceal quickcheck generators
2009-10-26 blanchet 2009-10-26 merged
2009-10-26 blanchet 2009-10-26 merged
2009-10-26 blanchet 2009-10-26 make Nitpick compile again
2009-10-26 blanchet 2009-10-26 merged
2009-10-23 blanchet 2009-10-23 be somewhat more liberal in Nitpick about which types may occur in formulas
2009-10-23 blanchet 2009-10-23 make the Nitpick examples work again
2009-10-23 blanchet 2009-10-23 updated keyword files to include "nitpick" and "nitpick_params"
2009-10-23 blanchet 2009-10-23 continuation of Nitpick's integration into Isabelle; added examples, and integrated non-Main theories better.
2009-10-23 blanchet 2009-10-23 updated Nitpick documentation to remove weird default for "overlord"
2009-10-23 blanchet 2009-10-23 updated Nitpick manual to reflect the latest Stand der Dinge
2009-10-22 blanchet 2009-10-22 merged
2009-10-22 blanchet 2009-10-22 wrap line correctly in Nitpick documentation
2009-10-22 blanchet 2009-10-22 added Nitpick's theory and ML files to Isabelle/HOL; the examples and the documentation are on their way.
2009-10-22 blanchet 2009-10-22 Added Nitpick manual.
2009-10-26 berghofe 2009-10-26 merged
2009-10-26 berghofe 2009-10-26 Added Pattern.thy to Nominal/Examples.
2009-10-26 haftmann 2009-10-26 merged
2009-10-26 haftmann 2009-10-26 tuned
2009-10-26 haftmann 2009-10-26 added SML_Quickcheck import
2009-10-26 haftmann 2009-10-26 tuned code setup for primitive boolean connectors
2009-10-26 haftmann 2009-10-26 legacy warnings for old-style term styles
2009-10-26 wenzelm 2009-10-26 removed unnecessary NameSpace prefix;
2009-10-26 wenzelm 2009-10-26 misc tuning and updates;
2009-10-26 wenzelm 2009-10-26 merged
2009-10-26 wenzelm 2009-10-26 implicit default is 4 cores -- more cost-effective;
2009-10-26 wenzelm 2009-10-26 deleted junk;
2009-10-26 wenzelm 2009-10-26 more precise dependencies, notably for HOL-Multivariate_Analysis;
2009-10-26 haftmann 2009-10-26 re-moved theory Fin_Fun to AFP
2009-10-26 haftmann 2009-10-26 merged
2009-10-23 himmelma 2009-10-23 distinguished session for multivariate analysis
2009-10-26 haftmann 2009-10-26 adjusted to changes in corresponding ML code
2009-10-25 wenzelm 2009-10-25 eliminated obsolete tags for types/consts -- now handled via name space, in strongly typed fashion;
2009-10-25 wenzelm 2009-10-25 maintain theory name via name space, not tags; AxClass.thynames_of_arity: explicit theory name, not tags;
2009-10-25 wenzelm 2009-10-25 name space groups are identified by serial, not serial_string;
2009-10-25 wenzelm 2009-10-25 maintain group via name space, not tags; tuned;
2009-10-25 wenzelm 2009-10-25 LocalTheory.naming_of;
2009-10-25 wenzelm 2009-10-25 begin_theory: set theory_name here;
2009-10-25 wenzelm 2009-10-25 maintain group via name space, not tags;
2009-10-25 wenzelm 2009-10-25 maintain proper Name_Space.naming, with conceal and set_group; maintain group via name space, not tags; tuned signature; tuned;
2009-10-25 wenzelm 2009-10-25 more direct access to naming; tuned signature;
2009-10-25 wenzelm 2009-10-25 Name_Space.naming: maintain group and theory_name as well; tuned;
2009-10-25 wenzelm 2009-10-25 export is_concealed; tuned;
2009-10-25 wenzelm 2009-10-25 merge_list: no exception DUP here;
2009-10-25 wenzelm 2009-10-25 merged
2009-10-25 wenzelm 2009-10-25 more uniform ISABELLE_USEDIR_OPTIONS;
2009-10-25 wenzelm 2009-10-25 make SML/NJ happy;
2009-10-25 wenzelm 2009-10-25 conceal consts via name space, not tags;
2009-10-25 wenzelm 2009-10-25 allow name space entries to be "concealed" -- via binding/naming/local_theory;
2009-10-25 wenzelm 2009-10-25 switch to polyml-5.2.1 to see if it impacts performance;
2009-10-25 chaieb 2009-10-25 merged
2009-10-25 chaieb 2009-10-25 Multivariate polynomials library over fields
2009-10-25 chaieb 2009-10-25 A theory of polynomials based on lists
2009-10-25 chaieb 2009-10-25 Add a quantifier elimination for parametric linear arithmetic over ordered fields (parameters are multivariate polynomials)
2009-10-25 wenzelm 2009-10-25 merged