Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. re-enable fact index for 'obtains' assumption (amending 5c8e6a751adc);
Changeset 63096:7910b1db2596 by wenzelm:
re-enable fact index for 'obtains' assumption (amending 5c8e6a751adc);
The file was modified src/Pure/Isar/specification.ML (diff)