isabelle: Changelog

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

haftmann [Wed, 17 Apr 2019 16:57:06 +0000] rev 70182

backed out experimental b67bab2b132c, which slipped in accidentally

nipkow [Thu, 18 Apr 2019 06:19:30 +0200] rev 70181

merged

isabelle