isabelle: Changelog

nipkow [Wed, 29 Jul 2009 12:13:21 +0200] rev 32271

sos comments modified

nipkow [Wed, 29 Jul 2009 12:12:01 +0200] rev 32270

sos documentation

nipkow [Wed, 29 Jul 2009 09:06:49 +0200] rev 32269

Added remote-SOS changes by Philipp Meyer

Philipp Meyer [Fri, 24 Jul 2009 13:56:02 +0200] rev 32268

Functionality for sum of squares to call a remote csdp prover

wenzelm [Tue, 28 Jul 2009 20:26:39 +0200] rev 32267

merged

haftmann [Tue, 28 Jul 2009 13:38:13 +0200] rev 32266

updated generated document

haftmann [Tue, 28 Jul 2009 13:37:40 +0200] rev 32265

reinserted legacy ML function

haftmann [Tue, 28 Jul 2009 13:37:09 +0200] rev 32264

Set.UNIV and Set.empty are mere abbreviations for top and bot

haftmann [Tue, 28 Jul 2009 13:37:08 +0200] rev 32263

explicit is better than implicit

wenzelm [Wed, 29 Jul 2009 19:35:10 +0200] rev 32262

Meson.first_order_resolve: avoid handle _; proper context for various Meson and Metis rules and tactics unified meson_tac/meson_claset_tac;

isabelle