Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned op
  2. tuned op's
Changeset 8614:cc8d65a08677 by nipkow:
tuned op
The file was modified thys/Ordinary_Differential_Equations/ODE_Auxiliarities.thy (diff)
Changeset 8613:f9e0d60ca099 by nipkow:
tuned op's
The file was modified thys/Automatic_Refinement/Autoref_Bindings_HOL.thy (diff)