isabelle: Changelog

kleing [Thu, 28 Apr 2005 09:21:15 +0200] rev 15867

some more lemmas about multiset_of

kleing [Thu, 28 Apr 2005 01:57:15 +0200] rev 15866

sped up a bit

gagern [Wed, 27 Apr 2005 23:04:50 +0200] rev 15865

removed --version which is not a valid polyml flag and has no effect

gagern [Wed, 27 Apr 2005 23:02:08 +0200] rev 15864

make symlink handling compatible with whitespaces

paulson [Wed, 27 Apr 2005 16:41:03 +0200] rev 15863

minor tidying

paulson [Wed, 27 Apr 2005 16:40:27 +0200] rev 15862

removed unnecessary (?) check

paulson [Wed, 27 Apr 2005 16:39:59 +0200] rev 15861

tidied

paulson [Wed, 27 Apr 2005 16:39:44 +0200] rev 15860

partial modernising of theory headers

chaieb [Wed, 27 Apr 2005 11:49:20 +0200] rev 15859

bug in plusinf and mininf for the oracle fixed.

kleing [Wed, 27 Apr 2005 06:03:35 +0200] rev 15858

reverted last change (dependencies in HOL)

isabelle