isabelle: Changelog

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

nipkow [Wed, 17 Apr 2019 21:48:56 +0200] rev 70180

added lemmas

paulson <lp15@cam.ac.uk> [Wed, 17 Apr 2019 21:53:45 +0100] rev 70179

moved subset_image_inj into Hilbert_Choice

paulson <lp15@cam.ac.uk> [Wed, 17 Apr 2019 17:48:28 +0100] rev 70178

Lindelöf spaces and supporting material

haftmann [Tue, 16 Apr 2019 19:50:30 +0000] rev 70177

hierarchically inclusive named theorem collections

haftmann [Tue, 16 Apr 2019 19:50:21 +0000] rev 70176

removed unused fact collections

isabelle