Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. find dynamic facts as well, but static ones are preferred; tuned;
Changeset 63080:8326aa594273 by wenzelm:
find dynamic facts as well, but static ones are preferred;<br>tuned;
The file was modified src/Pure/Isar/proof_context.ML (diff)
The file was modified src/Pure/Tools/find_theorems.ML (diff)
The file was modified src/Pure/facts.ML (diff)