paulson [Thu, 12 May 2005 10:48:46 +0200] rev 15954
first-order now ignores "all"
nipkow [Thu, 12 May 2005 09:45:54 +0200] rev 15953
fixed a few things and added Haftmann as author
paulson [Wed, 11 May 2005 17:45:38 +0200] rev 15952
documented new subst method
haftmann [Wed, 11 May 2005 16:30:24 +0200] rev 15951
corrections
nipkow [Wed, 11 May 2005 09:50:33 +0200] rev 15950
Added thms by Brian Huffmann
paulson [Tue, 10 May 2005 18:37:43 +0200] rev 15949
new cterm primitives
paulson [Tue, 10 May 2005 10:25:21 +0200] rev 15948
oops...cannot use subst here
kleing [Tue, 10 May 2005 06:59:32 +0200] rev 15947
table centering, headline 'other platform'
paulson [Mon, 09 May 2005 16:40:37 +0200] rev 15946
unfolding of Ex1
paulson [Mon, 09 May 2005 16:40:11 +0200] rev 15945
choice_const moved to hologic.ML
paulson [Mon, 09 May 2005 16:38:56 +0200] rev 15944
from simplesubst to new subst
haftmann [Mon, 09 May 2005 16:02:45 +0200] rev 15943
minor corrections
kleing [Mon, 09 May 2005 02:03:48 +0200] rev 15942
made file links local, smoothed text over in some places
kleing [Mon, 09 May 2005 02:03:01 +0200] rev 15941
made file list nicer
kleing [Mon, 09 May 2005 02:02:25 +0200] rev 15940
moved description (dist area) out of link
kleing [Mon, 09 May 2005 01:39:06 +0200] rev 15939
made download links local, provide explicit list of files to download