Changes

Summary

clear distinction between different situations concerning strictness of code equations

Changeset 63242:9986559617ee by haftmann: clear distinction between different situations concerning strictness of code equations
The file was modified	`src/Pure/Isar/code.ML` (diff)