Typesetting pass over InductiveTypes

9315417c · Adam Chlipala · 70d8f9cc · 9315417c
Commit 9315417c authored Jun 08, 2012 by Adam Chlipala
Expand all Hide whitespace changes
Inline Side-by-side

Showing with 26 additions and 59 deletions

InductiveTypes.v src/InductiveTypes.v +26 -59

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