isabelle: Changelog

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

isabelle