Skip to content

Improve documentation in restructuring/behavior

Björn Brandenburg requested to merge structured-comments-in-behavior into master

Use coqdoc's header feature to make it easier to find key concepts and improve/tweak a few comments.

Merge request reports