isabelle: Changelog

blanchet [Tue, 22 May 2018 17:15:02 +0200] rev 68250

added lambda-free HO output for Ehoh (higher-order E prototype)

nipkow [Tue, 22 May 2018 11:08:37 +0200] rev 68249

First step to remove nonstandard "[x <- xs. P]" syntax: only input

nipkow [Tue, 22 May 2018 14:12:15 +0200] rev 68248

merged

nipkow [Tue, 22 May 2018 14:12:03 +0200] rev 68247

removed unicode symbol

Manuel Eberl <eberlm@in.tum.de> [Fri, 18 May 2018 17:51:58 +0200] rev 68246

Moved Landau_Symbols from the AFP to HOL-Library

wenzelm [Tue, 22 May 2018 11:05:47 +0200] rev 68245

merged

wenzelm [Sun, 20 May 2018 22:37:00 +0200] rev 68244

more checks for global facts: disallow undeclared frees (as in Export_Theory.export_fact);

nipkow [Mon, 21 May 2018 18:36:30 +0200] rev 68243

no longer necessary

paulson [Sun, 20 May 2018 22:10:30 +0100] rev 68242

merged

paulson <lp15@cam.ac.uk> [Sun, 20 May 2018 22:10:21 +0100] rev 68241

correcting the statements of the MVTs

isabelle