Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. misc tuning and modernization;
  2. clarified reported positions;
  3. operate on proper binding; tuned;
  4. tuned;
Changeset 62999:65f279853449 by wenzelm:
misc tuning and modernization;
The file was addedsrc/HOL/ex/Functions.thy
The file was modified src/HOL/ROOT (diff)
The file was removedsrc/HOL/ex/Fundefs.thy
Changeset 62998:36d7e7f1805c by wenzelm:
clarified reported positions;
The file was modified src/HOL/Tools/Function/partial_function.ML (diff)
Changeset 62997:dd987efa5df3 by wenzelm:
operate on proper binding;<br>tuned;
The file was modified src/HOL/Tools/Function/partial_function.ML (diff)
Changeset 62996:1c52ea2954f5 by wenzelm:
tuned;
The file was modified src/HOL/Tools/Function/function.ML (diff)