Skip to content
GitLab
Menu
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
concordium
smart-contract-interactions
Commits
6c356537
Commit
6c356537
authored
Mar 12, 2019
by
Jakob Botsch Nielsen
Browse files
Rename a hypothesis in Containers
parent
92ba7deb
Pipeline
#11306
passed with stage
in 4 minutes and 28 seconds
Changes
1
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
src/Containers.v
View file @
6c356537
...
...
@@ -57,7 +57,7 @@ Module FSet.
unfold
SetList
.
S
.
add
.
destruct
tl
as
[
|
hd
'
tl_tl
].
*
reflexivity
.
*
inversion
hd_sorted
as
[
|?
?
k_k
'_
lt
];
subst
.
*
inversion
hd_sorted
as
[
|?
?
hd_hd
'_
lt
];
subst
.
destruct
(
OrderedType
.
compare_dec
hd
hd
'
).
--
reflexivity
.
--
order
.
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment