isabelle: Changelog

wenzelm [Fri, 17 Aug 2007 23:10:39 +0200] rev 24309

turned type_lits into configuration option (with attribute);

nipkow [Fri, 17 Aug 2007 19:24:37 +0200] rev 24308

removed set_concat_map and improved set_concat

wenzelm [Fri, 17 Aug 2007 17:49:33 +0200] rev 24307

check_deps: ensure that theory is actually present, not just update_time > 1;

haftmann [Fri, 17 Aug 2007 13:59:00 +0200] rev 24306

tuned order

haftmann [Fri, 17 Aug 2007 13:58:59 +0200] rev 24305

reoriented hook application order

haftmann [Fri, 17 Aug 2007 13:58:58 +0200] rev 24304

explicit constants for overloaded definitions

haftmann [Fri, 17 Aug 2007 13:58:57 +0200] rev 24303

dropped junk

obua [Fri, 17 Aug 2007 09:20:45 +0200] rev 24302

tuned

obua [Fri, 17 Aug 2007 09:19:53 +0200] rev 24301

changed floatarith lemmas

wenzelm [Fri, 17 Aug 2007 00:03:50 +0200] rev 24300

proper signature for Meson;

isabelle