isabelle: Changelog

haftmann [Tue, 21 Jul 2009 14:38:07 +0200] rev 32120

attempt for more concise setup of non-etacontracting binders

haftmann [Tue, 21 Jul 2009 14:36:26 +0200] rev 32119

moved abstract algebra section to the end

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"

isabelle