isabelle: Changelog

haftmann [Tue, 05 Jun 2007 15:16:08 +0200] rev 23247

merged Code_Generator.thy into HOL.thy

chaieb [Tue, 05 Jun 2007 12:12:25 +0200] rev 23246

added a function partition and a few lemmas

chaieb [Tue, 05 Jun 2007 11:00:04 +0200] rev 23245

added a few theorems about foldl and set

chaieb [Tue, 05 Jun 2007 10:42:31 +0200] rev 23244

added lcm, ilcm (lcm for integers) and some lemmas about them;

urbanc [Tue, 05 Jun 2007 09:56:19 +0200] rev 23243

included Class.thy in the compiling process for Nominal/Examples

huffman [Tue, 05 Jun 2007 07:58:50 +0200] rev 23242

remove simp attribute from lemma_STAR theorems

huffman [Tue, 05 Jun 2007 00:54:03 +0200] rev 23241

add lemma exp_of_real

nipkow [Mon, 04 Jun 2007 22:27:18 +0200] rev 23240

tuned list comprehension

wenzelm [Mon, 04 Jun 2007 21:04:20 +0200] rev 23239

tuned;

wenzelm [Mon, 04 Jun 2007 21:04:19 +0200] rev 23238

added is_atomic; removed unused is_all;

isabelle