testboard: Changelog

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

testboard