Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. merged
  2. coinduction method accepts a list of coinduction rules (takes the first matching one)
Changeset 63710:a2dffa971ec6 by traytel:
merged
Changeset 63709:d68d10fdec78 by traytel:
coinduction method accepts a list of coinduction rules (takes the first matching one)
The file was modified src/HOL/Tools/coinduction.ML (diff)