isabelle: Changelog

haftmann [Wed, 17 Feb 2016 21:51:57 +0100] rev 62348

dropped various legacy fact bindings

haftmann [Wed, 17 Feb 2016 21:51:57 +0100] rev 62347

generalized some lemmas; moved some lemmas in more appropriate places; deleted potentially dangerous simp rule

haftmann [Wed, 17 Feb 2016 21:51:56 +0100] rev 62346

more theorems concerning gcd/lcm/Gcd/Lcm

haftmann [Wed, 17 Feb 2016 21:51:56 +0100] rev 62345

further generalization and polishing

haftmann [Wed, 17 Feb 2016 21:51:56 +0100] rev 62344

pulled out legacy aliasses and infamous dvd interpretations into theory appendix

haftmann [Wed, 17 Feb 2016 21:51:56 +0100] rev 62343

prefer abbreviations for compound operators INFIMUM and SUPREMUM

haftmann [Wed, 17 Feb 2016 21:51:55 +0100] rev 62342

consolidated name

wenzelm [Wed, 17 Feb 2016 21:08:18 +0100] rev 62341

merged

wenzelm [Wed, 17 Feb 2016 21:08:11 +0100] rev 62340

removed obsolete RC tags;

wenzelm [Wed, 17 Feb 2016 21:06:47 +0100] rev 62339

merged

isabelle