2009-06-25 ago wenzelm renamed IsabelleProcess to Isabelle_Process;
2009-06-25 ago wenzelm renamed IsabelleSystem to Isabelle_System;
2009-06-24 ago wenzelm standard naming conventions for session and theories;
2009-06-24 ago wenzelm renamed Variable.import_thms to Variable.import (back again cf. ed7aa5a350ef -- Alice is no longer supported);
2009-06-24 ago wenzelm proper ML interface set_full_types;
2009-06-24 ago nipkow Replaced Suc_remove by Suc_eq_plus1
2009-06-24 ago nipkow New ATP option: full types
2009-06-24 ago nipkow corrected and unified thm names
2009-06-23 ago haftmann merged
2009-06-23 ago haftmann merged
2009-06-23 ago haftmann Datatype.get_all
2009-06-23 ago haftmann corrected handling of free variables in arguments
2009-06-23 ago haftmann tuned proof
2009-06-23 ago haftmann tuned interfaces of datatype module
2009-06-23 ago haftmann add_datatypes does not yield particular rules any longer
2009-06-23 ago haftmann merged
2009-06-23 ago haftmann add_datatype interface yields type names and less rules
2009-06-23 ago wenzelm non-public representation;
2009-06-23 ago wenzelm fixed abbrev !! for \<And>;
2009-06-23 ago wenzelm merged
2009-06-23 ago haftmann merged
2009-06-23 ago haftmann simplified proof
2009-06-23 ago haftmann uniformly capitialized names for subdirectories
2009-06-23 ago haftmann renamed ioa to automaton
2009-06-23 ago haftmann renamed ioa to automaton
2009-06-23 ago haftmann dropped duplicated lemmas, tuned header
2009-06-23 ago haftmann NewNumberTheory depends on Algebra
2009-06-23 ago haftmann merged
2009-06-23 ago haftmann lemma funcset_id by Jeremy Avigad
2009-06-23 ago haftmann lemma finite_image_set by Jeremy Avigad
2009-06-23 ago nipkow merged
2009-06-23 ago nipkow new lemmas
2009-06-23 ago wenzelm tuned input: require longer symbol prefix;
2009-06-23 ago wenzelm moved string utilities to completion.scala;
2009-06-23 ago wenzelm Completion of symbols and keywords.
2009-06-23 ago wenzelm more precise implementation of trait methods -- oddly this seems to require copy/paste for +, ++;
2009-06-23 ago chaieb Added Library/Fraction_Field.thy: The fraction field of any integral
2009-06-23 ago nipkow merged
2009-06-23 ago nipkow fixed name
2009-06-22 ago wenzelm observe standard theory naming conventions;
2009-06-22 ago wenzelm end_timing: checked divisions with sane defaults;
2009-06-22 ago wenzelm 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 ago nipkow merged
2009-06-22 ago nipkow tuned FuncSet
2009-06-22 ago wenzelm Lexicon: removed unused max_entry;
2009-06-22 ago immler use results of relevance-filter to determine additional clauses;
2009-06-22 ago immler export proof when exporting problemfile
2009-06-22 ago immler restructured external_prover
2009-06-22 ago immler corrected comments
2009-06-22 ago haftmann adapted to number theory switch
2009-06-22 ago haftmann merged
2009-06-21 ago haftmann code equation observes default sort constraints for types
2009-06-22 ago haftmann merged
2009-06-21 ago haftmann more precise computation of sort constraints
2009-06-21 ago haftmann merged
2009-06-21 ago haftmann merged
2009-06-21 ago haftmann merged
2009-06-21 ago haftmann discontinued ancient tradition to suffix certain ML module names with "_package"
2009-06-21 ago haftmann removed temporariy workarounds
2009-06-21 ago haftmann discontinued ancient tradition to suffix certain ML module names with "_package"