2005-06-01 haftmann [Wed, 01 Jun 2005 08:57:49 +0200] rev 16162
improved *.sty handling
lib/Tools/latex

2005-06-01 haftmann [Wed, 01 Jun 2005 08:56:58 +0200] rev 16161
improved *.sty handling
lib/Tools/latex

2005-06-01 nipkow [Wed, 01 Jun 2005 08:44:25 +0200] rev 16160
added premise<i>
src/Pure/Isar/term_style.ML

2005-06-01 nipkow [Wed, 01 Jun 2005 08:44:13 +0200] rev 16159
added dependency
src/Pure/IsaMakefile

2005-05-31 obua [Tue, 31 May 2005 19:32:41 +0200] rev 16158
Removed final_consts from theory data. Now const_deps deals with final
constants.
src/Pure/defs.ML src/Pure/display.ML src/Pure/theory.ML

2005-05-31 paulson [Tue, 31 May 2005 17:52:10 +0200] rev 16157
minor tidying and sml/nj compatibility
src/HOL/Tools/ATP/recon_order_clauses.ML src/HOL/Tools/ATP/recon_prelim.ML src/HOL/Tools/ATP/recon_transfer_proof.ML src/HOL/Tools/ATP/recon_translate_proof.ML

2005-05-31 quigley [Tue, 31 May 2005 12:42:36 +0200] rev 16156
Fixed array containing clasimpset rules. Added flags to turn on and off reconstruction and full spass
ruleset.
src/HOL/Tools/ATP/SpassCommunication.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/res_atp.ML src/HOL/Tools/res_axioms.ML

2005-05-31 nipkow [Tue, 31 May 2005 12:36:01 +0200] rev 16155
fixed sectioning
doc-src/LaTeXsugar/Sugar/Sugar.thy doc-src/LaTeXsugar/Sugar/document/Sugar.tex

2005-05-31 nipkow [Tue, 31 May 2005 12:16:42 +0200] rev 16154
\nexists
doc-src/LaTeXsugar/Sugar/document/Sugar.tex doc-src/LaTeXsugar/Sugar/document/isabellesym.sty doc-src/LaTeXsugar/Sugar/document/root.tex

2005-05-31 nipkow [Tue, 31 May 2005 12:16:24 +0200] rev 16153
\nexists und premsise1 .. 9
doc-src/LaTeXsugar/Sugar/Sugar.thy