Skip to content
Snippets Groups Projects

Make x.1, x.2 notation compatible with ssrfun.

Merged David Swasey requested to merge swasey/coq-stdpp:ssrfun into master
Compare changes
  • Side-by-side
  • Inline
Files
1
Loading