isabelle: Changelog

wenzelm [Tue, 21 Sep 2021 20:56:23 +0200] rev 74346

clarified antiquotations;

wenzelm [Tue, 21 Sep 2021 20:56:06 +0200] rev 74345

clarified antiquotations;

wenzelm [Tue, 21 Sep 2021 19:42:30 +0200] rev 74344

clarified partial application: immediate check of object-logic, and avoidance of context within closure;

wenzelm [Tue, 21 Sep 2021 16:23:33 +0200] rev 74343

merged

wenzelm [Tue, 21 Sep 2021 13:14:18 +0200] rev 74342

clarified antiquotations;

wenzelm [Tue, 21 Sep 2021 13:12:14 +0200] rev 74341

ML antiquotations for object-logic judgment;

wenzelm [Tue, 21 Sep 2021 12:35:38 +0200] rev 74340

proper Sign.const_typargs via Theory.add_deps_const/Theory.const_dep;

wenzelm [Tue, 21 Sep 2021 12:25:40 +0200] rev 74339

clarified modules;

wenzelm [Tue, 21 Sep 2021 12:08:41 +0200] rev 74338

clarified modules;

wenzelm [Tue, 21 Sep 2021 11:34:58 +0200] rev 74337

more uniform syntax;

isabelle