Summary
- decomposed tuple
- tuned
- clarified message
The file was modified | src/Pure/Isar/code.ML (diff) |
The file was modified | src/Pure/Isar/code.ML (diff) |
The file was modified | src/Pure/Isar/code.ML (diff) |
The file was modified | src/Pure/Isar/code.ML (diff) |
The file was modified | src/Pure/Isar/code.ML (diff) |
The file was modified | src/Pure/Isar/code.ML (diff) |