isabelle: Changelog

berghofe [Tue, 02 Jun 2009 10:02:52 +0200] rev 31361

Fixed broken code dealing with alternative names.

berghofe [Tue, 02 Jun 2009 10:02:08 +0200] rev 31360

Enclosed parts of subsection in @{text ...} to make LaTeX happy.

berghofe [Tue, 02 Jun 2009 10:00:29 +0200] rev 31359

Added Convex_Euclidean_Space.thy again.

haftmann [Tue, 02 Jun 2009 08:56:19 +0200] rev 31358

made SML/NJ happy

huffman [Mon, 01 Jun 2009 16:27:54 -0700] rev 31357

declare Bfun_def [code del]

huffman [Mon, 01 Jun 2009 10:56:31 -0700] rev 31356

simp del -> code del

huffman [Mon, 01 Jun 2009 10:36:42 -0700] rev 31355

limits of inverse using filters

huffman [Mon, 01 Jun 2009 08:04:19 -0700] rev 31354

merged

huffman [Mon, 01 Jun 2009 07:57:37 -0700] rev 31353

add [code del] declarations

huffman [Mon, 01 Jun 2009 07:45:49 -0700] rev 31352

add dependency on Limits.thy

isabelle