Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. tuned signature;
Changeset 6944:fe98daba3b80 by wenzelm:
tuned signature;
The file was modified thys/Isabelle_Meta_Model/toy_example/embedding/Generator_dynamic.thy (diff)
The file was modified thys/Pratt_Certificate/pratt.ML (diff)
The file was modified thys/Randomised_Social_Choice/Automation/sds_automation.ML (diff)