2005-04-02 huffman [Sat, 02 Apr 2005 00:12:38 +0200] rev 15650
converted to new-style theory
src/HOLCF/HOLCF.ML src/HOLCF/HOLCF.thy

2005-04-01 huffman [Fri, 01 Apr 2005 23:44:41 +0200] rev 15649
convert to new-style theory
src/HOLCF/Tr.ML src/HOLCF/Tr.thy

2005-04-01 paulson [Fri, 01 Apr 2005 21:04:00 +0200] rev 15648
x-symbols and other tidying
src/HOL/Subst/Subst.thy src/HOL/Subst/UTerm.thy src/HOL/Subst/Unify.thy

2005-04-01 skalberg [Fri, 01 Apr 2005 18:59:17 +0200] rev 15647
Updated import configuration.
src/HOL/Import/Generate-HOL/GenHOL4Base.thy src/HOL/Import/Generate-HOL/GenHOL4Real.thy src/HOL/Import/Generate-HOL/ROOT.ML src/HOL/Import/HOL/HOL4Base.thy src/HOL/Import/HOL/HOL4Prob.thy src/HOL/Import/HOL/HOL4Real.thy src/HOL/Import/HOL/HOL4Vec.thy src/HOL/Import/HOL/HOL4Word32.thy src/HOL/Import/HOL/ROOT.ML src/HOL/Import/HOL/arithmetic.imp src/HOL/Import/HOL/bool.imp src/HOL/Import/HOL/num.imp src/HOL/Import/HOL/pair.imp src/HOL/Import/HOL/prob_extra.imp src/HOL/Import/HOL/real.imp src/HOL/Import/HOL/realax.imp src/HOL/Import/HOL/rich_list.imp src/HOL/Import/HOL/sum.imp src/HOL/Import/hol4rews.ML src/HOL/Import/proof_kernel.ML src/HOL/IsaMakefile

2005-04-01 gagern [Fri, 01 Apr 2005 18:40:14 +0200] rev 15646
bring make to delete files on error
doc-src/Makefile.in

2005-04-01 paulson [Fri, 01 Apr 2005 11:12:39 +0200] rev 15645
patch to get it working again
src/HOL/Reconstruction.thy

2005-03-31 quigley [Thu, 31 Mar 2005 20:12:54 +0200] rev 15644
*** empty log message ***
src/HOL/Tools/res_atp.ML src/HOL/Tools/res_axioms.ML

2005-03-31 quigley [Thu, 31 Mar 2005 19:47:30 +0200] rev 15643
*** empty log message ***
src/HOL/Tools/ATP/res_clasimpset.ML

2005-03-31 quigley [Thu, 31 Mar 2005 19:29:26 +0200] rev 15642
*** empty log message ***
src/HOL/Tools/ATP/SpassCommunication.ML src/HOL/Tools/ATP/VampireCommunication.ML src/HOL/Tools/ATP/modUnix.ML src/HOL/Tools/ATP/recon_gandalf_base.ML src/HOL/Tools/ATP/recon_order_clauses.ML src/HOL/Tools/ATP/recon_parse.ML src/HOL/Tools/ATP/recon_prelim.ML src/HOL/Tools/ATP/recon_reconstruct_proof.ML src/HOL/Tools/ATP/recon_transfer_proof.ML src/HOL/Tools/ATP/recon_translate_proof.ML src/HOL/Tools/ATP/watcher.ML src/HOL/Tools/ATP/watcher.sig

2005-03-31 huffman [Thu, 31 Mar 2005 03:03:22 +0200] rev 15641
added theorems eta_cfun and cont2cont_eta
src/HOLCF/Cfun.ML src/HOLCF/Cfun.thy