isabelle: Changelog

huffman [Mon, 30 Jun 2008 21:47:56 +0200] rev 27400

remove unused Cset.thy

urbanc [Mon, 30 Jun 2008 14:06:44 +0200] rev 27399

added facts to lemma swap_simps and tuned lemma calc_atms

haftmann [Mon, 30 Jun 2008 13:41:33 +0200] rev 27398

simplified retrieval of theory names of consts and types

haftmann [Mon, 30 Jun 2008 13:41:31 +0200] rev 27397

tagged arities

haftmann [Mon, 30 Jun 2008 13:41:30 +0200] rev 27396

HOL-Complex with proof terms

haftmann [Mon, 30 Jun 2008 13:41:28 +0200] rev 27395

code generator setup for "int" also works under eta-contraction

wenzelm [Sat, 28 Jun 2008 23:52:43 +0200] rev 27394

added ML/ml_thms.ML;

wenzelm [Sat, 28 Jun 2008 22:58:49 +0200] rev 27393

tuned;

wenzelm [Sat, 28 Jun 2008 22:56:26 +0200] rev 27392

tuned;

wenzelm [Sat, 28 Jun 2008 22:54:19 +0200] rev 27391

additional ML antiquotations;

isabelle