Skip to content
Snippets Groups Projects
Commit 794f33f6 authored by Robbert Krebbers's avatar Robbert Krebbers
Browse files

Indent nested sections in `fin_maps` file.

parent abe0ec66
No related branches found
No related tags found
No related merge requests found
Pipeline #40079 passed
Expand all Hide whitespace changes
Inline Side-by-side
Showing
with 337 additions and 337 deletions
theories/fin_maps.v
+ 337
− 337
View file @ 794f33f6
This diff is collapsed.
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment