Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. misc tuning and updates according to Curry-Club Dec-2016;
Changeset 64907:354bfbb27fbb by wenzelm:
misc tuning and updates according to Curry-Club Dec-2016;
The file was modified src/HOL/Isar_Examples/Higher_Order_Logic.thy (diff)
The file was modified src/HOL/Isar_Examples/document/root.bib (diff)