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
wenzelm [Wed, 17 Feb 2016 15:57:10 +0100] rev 62338
Added tag Isabelle2016 for changeset d3996d5873dd