Summary
- clarified fact position, notably for reports on literal facts;
- more accurate facts index;
- tuned signature;
- tuned signature;
The file was modified | src/Pure/Isar/proof.ML (diff) |
The file was modified | src/Pure/Isar/proof.ML (diff) |
The file was modified | src/Pure/General/binding.ML (diff) |
The file was modified | src/Pure/facts.ML (diff) |
The file was modified | src/Pure/Isar/calculation.ML (diff) |
The file was modified | src/Pure/Isar/proof.ML (diff) |