2005-05-12 paulson [Thu, 12 May 2005 10:48:46 +0200] rev 15954
first-order now ignores "all"
src/Pure/term.ML

2005-05-12 nipkow [Thu, 12 May 2005 09:45:54 +0200] rev 15953
fixed a few things and added Haftmann as author
doc-src/LaTeXsugar/Sugar/Sugar.thy doc-src/LaTeXsugar/Sugar/document/Sugar.tex doc-src/LaTeXsugar/Sugar/document/root.tex

2005-05-11 paulson [Wed, 11 May 2005 17:45:38 +0200] rev 15952
documented new subst method
doc-src/TutorialI/Rules/rules.tex

2005-05-11 haftmann [Wed, 11 May 2005 16:30:24 +0200] rev 15951
corrections
Admin/page/dist-content/packages.content

2005-05-11 nipkow [Wed, 11 May 2005 09:50:33 +0200] rev 15950
Added thms by Brian Huffmann
src/HOL/Orderings.thy src/HOL/Set.thy src/HOL/Wellfounded_Recursion.thy

2005-05-10 paulson [Tue, 10 May 2005 18:37:43 +0200] rev 15949
new cterm primitives
src/Pure/drule.ML

2005-05-10 paulson [Tue, 10 May 2005 10:25:21 +0200] rev 15948
oops...cannot use subst here
src/HOL/Lambda/WeakNorm.thy

2005-05-10 kleing [Tue, 10 May 2005 06:59:32 +0200] rev 15947
table centering, headline 'other platform'
Admin/page/dist-content/packages.content

2005-05-09 paulson [Mon, 09 May 2005 16:40:37 +0200] rev 15946
unfolding of Ex1
src/HOL/Tools/meson.ML

2005-05-09 paulson [Mon, 09 May 2005 16:40:11 +0200] rev 15945
choice_const moved to hologic.ML
src/HOL/Tools/specification_package.ML src/HOL/hologic.ML