Summary
- find dynamic facts as well, but static ones are preferred; 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) |
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) |