2009-07-02 wenzelm 2009-07-02 renamed NamedThmsFun to Named_Thms; simplified/unified names of instances of Named_Thms;
2009-07-02 wenzelm 2009-07-02 renamed NamedThmsFun to Named_Thms;
2009-07-02 wenzelm 2009-07-02 misc tuning;
2009-07-02 wenzelm 2009-07-02 fixed document (DERIV_intros); minor tuning;
2009-06-30 wenzelm 2009-06-30 more detailed timing message;
2009-06-30 wenzelm 2009-06-30 default to maximum max_threads;
2009-06-30 wenzelm 2009-06-30 merged
2009-06-30 wenzelm 2009-06-30 fixed ISABELLE_HOME_USER;
2009-06-30 haftmann 2009-06-30 merged
2009-06-30 haftmann 2009-06-30 adaptated to changes in term representation
2009-06-30 haftmann 2009-06-30 improved treatment of case patterns
2009-06-30 haftmann 2009-06-30 merged
2009-06-30 haftmann 2009-06-30 an intermediate step towards a refined translation of cases
2009-06-30 haftmann 2009-06-30 all variable names are optional
2009-06-30 haftmann 2009-06-30 variable names in abstractions are optional
2009-06-30 haftmann 2009-06-30 restored
2009-06-30 wenzelm 2009-06-30 added isatest for x86_64-darwin;
2009-06-30 wenzelm 2009-06-30 merged
2009-06-30 hoelzl 2009-06-30 NEWS updated
2009-06-30 hoelzl 2009-06-30 DERIV_ln is proved in Transcendental and in Ln, use Transcendental to prove Ln.
2009-06-30 hoelzl 2009-06-30 remove DERIV_tac and deriv_tac, neither is used in Isabelle/HOL or the AFP
2009-06-30 hoelzl 2009-06-30 use DERIV_intros
2009-06-30 hoelzl 2009-06-30 Added DERIV_intros
2009-06-30 bulwahn 2009-06-30 commented trancl example; added debug message
2009-06-30 bulwahn 2009-06-30 merged
2009-06-30 bulwahn 2009-06-30 exported is_registered; added debug messages; removed extended parameter compilation in predicate compiler
2009-06-29 bulwahn 2009-06-29 added diagnostic printing; changed proof for parameters; moved code
2009-06-30 haftmann 2009-06-30 merged
2009-06-30 haftmann 2009-06-30 simplified binding concept
2009-06-30 haftmann 2009-06-30 temporary workaround
2009-06-30 haftmann 2009-06-30 tuned
2009-06-30 haftmann 2009-06-30 streamlined code
2009-06-30 haftmann 2009-06-30 dropped id
2009-06-29 haftmann 2009-06-29 mutual instances
2009-06-29 haftmann 2009-06-29 canonical prefix for datatype derivates
2009-06-29 haftmann 2009-06-29 tuned
2009-06-30 immler 2009-06-30 check for correct proof output
2009-06-30 immler 2009-06-30 fixed: count constants with supplementary lemmas
2009-06-30 hoelzl 2009-06-30 removed latex markup - there is no document generated from Decision_Procs/ex
2009-06-29 hoelzl 2009-06-29 Implemented taylor series expansion for approximation
2009-06-30 wenzelm 2009-06-30 renamed Swing to Swing_Thread, to avoid overlap with scala.swing.Swing;
2009-06-30 wenzelm 2009-06-30 merged
2009-06-30 wenzelm 2009-06-30 more display;
2009-06-30 wenzelm 2009-06-30 added icon;
2009-06-30 wenzelm 2009-06-30 basic launch4j setup;
2009-06-30 wenzelm 2009-06-30 fixed permissions;
2009-06-30 wenzelm 2009-06-30 fixed permissions;
2009-06-29 berghofe 2009-06-29 Corrected handling of bound variables.
2009-06-29 haftmann 2009-06-29 merged
2009-06-29 haftmann 2009-06-29 dropped Id
2009-06-29 haftmann 2009-06-29 explicit Set constructor for code generated for sets
2009-06-29 haftmann 2009-06-29 hide popular names
2009-06-29 haftmann 2009-06-29 Executable_Set is now a simple wrapper around Fset
2009-06-29 haftmann 2009-06-29 renamed theory Code_Set to Fset
2009-06-29 haftmann 2009-06-29 updated generated document
2009-06-28 haftmann 2009-06-28 Executable_Set now based on Code_Set
2009-06-28 haftmann 2009-06-28 added Inter, Union
2009-06-28 wenzelm 2009-06-28 more precise dependencies for "jars"; allow spaces in SCALA_HOME;
2009-06-28 wenzelm 2009-06-28 improved display;
2009-06-28 wenzelm 2009-06-28 display some platform information;