isabelle: Changelog

haftmann [Tue, 21 Jul 2009 11:13:47 +0200] rev 32118

merged

haftmann [Tue, 21 Jul 2009 11:09:50 +0200] rev 32117

Set.thy: prefer = over == where possible; tuned ML setup; dropped (moved) ML legacy

haftmann [Tue, 21 Jul 2009 07:55:56 +0200] rev 32116

merged

haftmann [Tue, 21 Jul 2009 07:54:44 +0200] rev 32115

swapped bootstrap order of UNION/Union and INTER/Inter in theory Set

haftmann [Mon, 20 Jul 2009 16:50:59 +0200] rev 32114

merged

haftmann [Mon, 20 Jul 2009 16:49:05 +0200] rev 32113

dropped add_registration interface in locale

nipkow [Tue, 21 Jul 2009 14:08:58 +0200] rev 32112

Made dvd/gcd/lcm a complete lattice by introducing Gcd/GCD/Lcm/LCM

nipkow [Tue, 21 Jul 2009 11:01:07 +0200] rev 32111

Tests for executability of "prime"

wenzelm [Wed, 22 Jul 2009 10:48:25 +0200] rev 32110

less ambitious settings;

wenzelm [Wed, 22 Jul 2009 10:46:35 +0200] rev 32109

future_job: more robust Exn.capture outside thread attribute change;

isabelle