isabelle: Changelog

huffman [Fri, 20 Feb 2009 07:41:41 -0800] rev 30018

add new theory Product_plus.thy to Library

immler@in.tum.de [Fri, 20 Feb 2009 16:48:17 +0100] rev 30017

merged

immler@in.tum.de [Fri, 20 Feb 2009 16:48:01 +0100] rev 30016

changed message

immler@in.tum.de [Fri, 20 Feb 2009 11:04:18 +0100] rev 30015

detailed information on atp-failure via Output.debug

haftmann [Fri, 20 Feb 2009 14:49:39 +0100] rev 30014

merged

haftmann [Fri, 20 Feb 2009 14:49:24 +0100] rev 30013

reverted to old wellsorting algorithm

haftmann [Fri, 20 Feb 2009 14:49:23 +0100] rev 30012

fixed spurious proof failure

haftmann [Fri, 20 Feb 2009 14:49:23 +0100] rev 30011

consider changes variable names in theorem le_imp_power_dvd

haftmann [Fri, 20 Feb 2009 10:14:32 +0100] rev 30010

tuned and incremental version of wellsorting algorithm

haftmann [Fri, 20 Feb 2009 10:14:32 +0100] rev 30009

ignore sorts in bare types

isabelle