Changes

Summary

provide explicit variant initializers for regular named target vs. almost-named target

Changeset 8160:e5a629fbdb9d by haftmann: provide explicit variant initializers for regular named target vs. almost-named target
The file was modified	`thys/Simpl/hoare.ML` (diff)