Assertion: tactic | /r/CapableOf | unfold the definitions of functions
Facets:
value: often
type: TEMPORAL
value: automatically
type: MANNER
Source sentences:
text: You may already have observed that tactics like simpl , reflexivity , and apply will often unfold the definitions of functions automatically when this allows them to make progress.
text: You may already have observed that tactics like, andwill often unfold the definitions of functions automatically when this allows them to make progress.