Pass through InductiveTypes, to incorporate new coqdoc features

cc31cade · Adam Chlipala · 3968a69c · cc31cade
Commit cc31cade authored Jul 25, 2012 by Adam Chlipala
Expand all Hide whitespace changes
Inline Side-by-side

Showing with 20 additions and 11 deletions

InductiveTypes.v src/InductiveTypes.v +20 -11

No files found.
--- a/src/InductiveTypes.v
+++ b/src/InductiveTypes.v