isabelle: Changelog

haftmann [Mon, 22 Apr 2019 09:33:55 +0000] rev 70192

separate type class for bit comprehension

haftmann [Mon, 22 Apr 2019 09:33:55 +0000] rev 70191

no need to maintain two separate type classes

haftmann [Mon, 22 Apr 2019 06:28:17 +0000] rev 70190

clarified structure of theories

haftmann [Sat, 20 Apr 2019 18:02:22 +0000] rev 70189

follow convention of bold local syntax

haftmann [Sat, 20 Apr 2019 18:02:22 +0000] rev 70188

more use of existing locales

haftmann [Sat, 20 Apr 2019 18:02:21 +0000] rev 70187

avoid separate type class for mere definitional extension

haftmann [Sat, 20 Apr 2019 18:02:20 +0000] rev 70186

tuned name

haftmann [Sat, 20 Apr 2019 13:44:16 +0000] rev 70185

clarified notation

nipkow [Thu, 18 Apr 2019 16:34:04 +0200] rev 70184

added lemma

haftmann [Thu, 18 Apr 2019 06:06:54 +0000] rev 70183

incorporated various material from the AFP into the distribution

isabelle