2006-05-25 mengj [Thu, 25 May 2006 08:08:38 +0200] rev 19719
Changed input interface of dfg_write_file.
src/HOL/Tools/res_clause.ML

2006-05-25 mengj [Thu, 25 May 2006 08:08:04 +0200] rev 19718
Added support for DFG format, used by SPASS.
src/HOL/Tools/res_atp.ML

2006-05-25 mengj [Thu, 25 May 2006 08:07:02 +0200] rev 19717
Helper files in DFG format.
src/HOL/Tools/atp-inputs/const_comb_inclS.dfg src/HOL/Tools/atp-inputs/const_comb_noS.dfg src/HOL/Tools/atp-inputs/const_helper1.dfg src/HOL/Tools/atp-inputs/full_comb_inclS.dfg src/HOL/Tools/atp-inputs/full_comb_noS.dfg src/HOL/Tools/atp-inputs/full_helper1.dfg src/HOL/Tools/atp-inputs/par_comb_inclS.dfg src/HOL/Tools/atp-inputs/par_comb_noS.dfg src/HOL/Tools/atp-inputs/par_helper1.dfg src/HOL/Tools/atp-inputs/u_comb_inclS.dfg src/HOL/Tools/atp-inputs/u_comb_noS.dfg src/HOL/Tools/atp-inputs/u_helper1.dfg

2006-05-24 wenzelm [Wed, 24 May 2006 22:44:56 +0200] rev 19716
add_datatype_axm: finalize specified consts;
src/HOL/Tools/datatype_package.ML

2006-05-24 wenzelm [Wed, 24 May 2006 22:15:07 +0200] rev 19715
tuned;
NEWS

2006-05-24 wenzelm [Wed, 24 May 2006 22:13:50 +0200] rev 19714
tuned;
NEWS

2006-05-24 wenzelm [Wed, 24 May 2006 22:04:06 +0200] rev 19713
made smlnj happy;
src/Pure/defs.ML

2006-05-24 wenzelm [Wed, 24 May 2006 21:58:09 +0200] rev 19712
wellformed: be less ambitious about structural containment;
tuned;
src/Pure/defs.ML

2006-05-24 wenzelm [Wed, 24 May 2006 21:58:07 +0200] rev 19711
Pure: update on overloaded defs;
NEWS doc-src/IsarRef/pure.tex

2006-05-24 berghofe [Wed, 24 May 2006 10:02:36 +0200] rev 19710
Extended strong induction rule with additional
freshness constraints.
src/HOL/Nominal/nominal_package.ML