2006-05-25 wenzelm [Thu, 25 May 2006 16:51:37 +0200] rev 19726
axiomatization java_lang;
src/HOL/Bali/Name.thy

2006-05-25 mengj [Thu, 25 May 2006 14:08:55 +0200] rev 19725
Changed the DFG format's functions' declaration procedure.
src/HOL/Tools/res_hol_clause.ML

2006-05-25 mengj [Thu, 25 May 2006 11:53:01 +0200] rev 19724
Fixed a bug.
src/HOL/Tools/res_hol_clause.ML

2006-05-25 mengj [Thu, 25 May 2006 11:52:33 +0200] rev 19723
A new "spass" method.
src/HOL/Tools/res_atp_methods.ML src/HOL/Tools/res_atp_provers.ML

2006-05-25 mengj [Thu, 25 May 2006 11:51:37 +0200] rev 19722
Added in settings used by "spass" method.
src/HOL/Tools/res_atp.ML

2006-05-25 mengj [Thu, 25 May 2006 11:50:55 +0200] rev 19721
Added in SPASS oracle.
src/HOL/ResAtpMethods.thy

2006-05-25 mengj [Thu, 25 May 2006 08:09:10 +0200] rev 19720
HOL problems now have DFG output format.
src/HOL/Tools/res_hol_clause.ML

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