2005-04-21 paulson [Thu, 21 Apr 2005 15:05:24 +0200] rev 15789
added hearder lines and deleted some redundant material
src/HOL/Tools/ATP/SpassCommunication.ML src/HOL/Tools/ATP/VampireCommunication.ML src/HOL/Tools/ATP/modUnix.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_transfer_proof.ML src/HOL/Tools/ATP/recon_translate_proof.ML src/HOL/Tools/ATP/res_clasimpset.ML src/HOL/Tools/ATP/watcher.ML src/HOL/Tools/ATP/watcher.sig

2005-04-21 paulson [Thu, 21 Apr 2005 13:15:25 +0200] rev 15788
adding the Proof General preview
Admin/page/main-content/PG-preview.pdf Admin/page/main-content/overview.content

2005-04-21 paulson [Thu, 21 Apr 2005 10:05:06 +0200] rev 15787
improved SML/NJ compatibility, etc.
src/HOL/Tools/ATP/SpassCommunication.ML src/HOL/Tools/ATP/recon_transfer_proof.ML src/HOL/Tools/ATP/watcher.ML

2005-04-20 gagern [Wed, 20 Apr 2005 22:43:52 +0200] rev 15786
Added op in front of constructor for better parsing.
src/Provers/blast.ML

2005-04-20 gagern [Wed, 20 Apr 2005 22:37:29 +0200] rev 15785
Fix automatic determination of poly version.
etc/settings

2005-04-20 gagern [Wed, 20 Apr 2005 19:00:30 +0200] rev 15784
removed redundant readlink call
bin/isabelle bin/isabelle-interface bin/isabelle-process

2005-04-20 webertj [Wed, 20 Apr 2005 18:57:05 +0200] rev 15783
call to Array.modifyi replaced
src/HOL/Tools/refute.ML

2005-04-20 quigley [Wed, 20 Apr 2005 18:01:50 +0200] rev 15782
Corrected the problem with the ATP directory.
src/HOL/Tools/ATP/SpassCommunication.ML src/HOL/Tools/ATP/modUnix.ML src/HOL/Tools/ATP/recon_prelim.ML src/HOL/Tools/ATP/recon_transfer_proof.ML src/HOL/Tools/ATP/res_clasimpset.ML src/HOL/Tools/ATP/watcher.ML src/HOL/Tools/ATP/watcher.sig src/HOL/Tools/res_atp.ML

2005-04-20 nipkow [Wed, 20 Apr 2005 17:19:42 +0200] rev 15781
Used locale interpretations everywhere. -> lemma had new name
src/HOL/MicroJava/Comp/CorrCompTp.thy

2005-04-20 nipkow [Wed, 20 Apr 2005 17:19:18 +0200] rev 15780
Used locale interpretations everywhere.
src/HOL/Finite_Set.thy src/HOL/Orderings.ML src/HOL/Orderings.thy