Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. clarified antiquotations;
  2. clarified antiquotations;
  3. clarified antiquotations;
  4. clarified partial application: immediate check of object-logic, and avoidance of context within closure;
Changeset 74347:f984d30cd0c3 by wenzelm:
clarified antiquotations;
The file was modified src/HOL/Tools/Metis/metis_generate.ML
The file was modified src/HOL/Tools/Metis/metis_reconstruct.ML
The file was modified src/HOL/Tools/Metis/metis_tactic.ML
Changeset 74346:55007a70bd96 by wenzelm:
clarified antiquotations;
The file was modified src/HOL/Tools/Meson/meson.ML
The file was modified src/HOL/Tools/Meson/meson_clausify.ML
Changeset 74345:e5ff77db6f38 by wenzelm:
clarified antiquotations;
The file was modified src/HOL/Transitive_Closure.thy
The file was modified src/HOL/Typerep.thy
Changeset 74344:1c2c0380d58b by wenzelm:
clarified partial application: immediate check of object-logic, and avoidance of context within closure;
The file was modified src/Pure/Isar/object_logic.ML
The file was modified src/Pure/ML/ml_antiquotations1.ML