2009-06-25 hoelzl 2009-06-25 NEWS updated
2009-06-25 hoelzl 2009-06-25 Improved computation of bounds and implemented interval splitting for 'approximation'.
2009-06-08 hoelzl 2009-06-08 Added new evaluator "approximate"
2009-06-15 hoelzl 2009-06-15 tuned
2009-06-25 haftmann 2009-06-25 merged
2009-06-25 haftmann 2009-06-25 added List_Set and Code_Set theories
2009-06-25 wenzelm 2009-06-25 merged
2009-06-25 haftmann 2009-06-25 merged
2009-06-25 haftmann 2009-06-25 arbitrary farewell
2009-06-25 wenzelm 2009-06-25 expand_path: handle parent (..) elements;
2009-06-25 wenzelm 2009-06-25 more stats;
2009-06-25 wenzelm 2009-06-25 merged
2009-06-25 nipkow 2009-06-25 Streamlined code
2009-06-25 nipkow 2009-06-25 merged
2009-06-25 nipkow 2009-06-25 Cleaned up GCD
2009-06-25 wenzelm 2009-06-25 renamed IsabelleProcess to Isabelle_Process; renamed IsabelleSystem to Isabelle_System;
2009-06-25 wenzelm 2009-06-25 renamed IsabelleSystem to Isabelle_System; added expand_path; tuned comments; tuned;
2009-06-24 wenzelm 2009-06-24 standard naming conventions for session and theories;
2009-06-24 wenzelm 2009-06-24 renamed Variable.import_thms to Variable.import (back again cf. ed7aa5a350ef -- Alice is no longer supported); renamed Variable.importT_thms to Variable.importT (again);
2009-06-24 wenzelm 2009-06-24 proper ML interface set_full_types;
2009-06-24 nipkow 2009-06-24 Replaced Suc_remove by Suc_eq_plus1
2009-06-24 nipkow 2009-06-24 New ATP option: full types
2009-06-24 nipkow 2009-06-24 corrected and unified thm names
2009-06-23 haftmann 2009-06-23 merged
2009-06-23 haftmann 2009-06-23 merged
2009-06-23 haftmann 2009-06-23 Datatype.get_all
2009-06-23 haftmann 2009-06-23 corrected handling of free variables in arguments
2009-06-23 haftmann 2009-06-23 tuned proof
2009-06-23 haftmann 2009-06-23 tuned interfaces of datatype module
2009-06-23 haftmann 2009-06-23 add_datatypes does not yield particular rules any longer
2009-06-23 haftmann 2009-06-23 merged
2009-06-23 haftmann 2009-06-23 add_datatype interface yields type names and less rules
2009-06-23 wenzelm 2009-06-23 non-public representation;
2009-06-23 wenzelm 2009-06-23 fixed abbrev !! for \<And>;
2009-06-23 wenzelm 2009-06-23 merged
2009-06-23 haftmann 2009-06-23 merged
2009-06-23 haftmann 2009-06-23 simplified proof
2009-06-23 haftmann 2009-06-23 uniformly capitialized names for subdirectories
2009-06-23 haftmann 2009-06-23 renamed ioa to automaton
2009-06-23 haftmann 2009-06-23 renamed ioa to automaton
2009-06-23 haftmann 2009-06-23 dropped duplicated lemmas, tuned header
2009-06-23 haftmann 2009-06-23 NewNumberTheory depends on Algebra
2009-06-23 haftmann 2009-06-23 merged
2009-06-23 haftmann 2009-06-23 lemma funcset_id by Jeremy Avigad
2009-06-23 haftmann 2009-06-23 lemma finite_image_set by Jeremy Avigad
2009-06-23 nipkow 2009-06-23 merged
2009-06-23 nipkow 2009-06-23 new lemmas
2009-06-23 wenzelm 2009-06-23 tuned input: require longer symbol prefix; clarified result: no decode yet, single word with several completions;
2009-06-23 wenzelm 2009-06-23 moved string utilities to completion.scala; tuned;
2009-06-23 wenzelm 2009-06-23 Completion of symbols and keywords.
2009-06-23 wenzelm 2009-06-23 more precise implementation of trait methods -- oddly this seems to require copy/paste for +, ++; misc tuning;
2009-06-23 chaieb 2009-06-23 Added Library/Fraction_Field.thy: The fraction field of any integral domain
2009-06-23 nipkow 2009-06-23 merged
2009-06-23 nipkow 2009-06-23 fixed name
2009-06-22 wenzelm 2009-06-22 observe standard theory naming conventions; modernized headers;
2009-06-22 wenzelm 2009-06-22 end_timing: checked divisions with sane defaults;
2009-06-22 wenzelm 2009-06-22 eval: tuned input buffer and get_offset (which ran very hot, up to the point where AFP/FlyspeckTame would seemingly take forever);
2009-06-22 nipkow 2009-06-22 merged
2009-06-22 nipkow 2009-06-22 tuned FuncSet
2009-06-22 wenzelm 2009-06-22 Lexicon: removed unused max_entry;