Wed, 17 Feb 2016 21:51:57 +0100 more sophisticated GCD syntax
haftmann [Wed, 17 Feb 2016 21:51:57 +0100] rev 62350
more sophisticated GCD syntax
Wed, 17 Feb 2016 21:51:57 +0100 cleansed junk-producing interpretations for gcd/lcm on nat altogether
haftmann [Wed, 17 Feb 2016 21:51:57 +0100] rev 62349
cleansed junk-producing interpretations for gcd/lcm on nat altogether
Wed, 17 Feb 2016 21:51:57 +0100 dropped various legacy fact bindings
haftmann [Wed, 17 Feb 2016 21:51:57 +0100] rev 62348
dropped various legacy fact bindings
Wed, 17 Feb 2016 21:51:57 +0100 generalized some lemmas;
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
Wed, 17 Feb 2016 21:51:56 +0100 more theorems concerning gcd/lcm/Gcd/Lcm
haftmann [Wed, 17 Feb 2016 21:51:56 +0100] rev 62346
more theorems concerning gcd/lcm/Gcd/Lcm
Wed, 17 Feb 2016 21:51:56 +0100 further generalization and polishing
haftmann [Wed, 17 Feb 2016 21:51:56 +0100] rev 62345
further generalization and polishing
Wed, 17 Feb 2016 21:51:56 +0100 pulled out legacy aliasses and infamous dvd interpretations into theory appendix
haftmann [Wed, 17 Feb 2016 21:51:56 +0100] rev 62344
pulled out legacy aliasses and infamous dvd interpretations into theory appendix
Wed, 17 Feb 2016 21:51:56 +0100 prefer abbreviations for compound operators INFIMUM and SUPREMUM
haftmann [Wed, 17 Feb 2016 21:51:56 +0100] rev 62343
prefer abbreviations for compound operators INFIMUM and SUPREMUM
Wed, 17 Feb 2016 21:51:55 +0100 consolidated name
haftmann [Wed, 17 Feb 2016 21:51:55 +0100] rev 62342
consolidated name
Wed, 17 Feb 2016 21:08:18 +0100 merged
wenzelm [Wed, 17 Feb 2016 21:08:18 +0100] rev 62341
merged
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip