Skip to content
GitLab
Explore
Sign in
Iris
Fairis
Repository
fairis
theories
locks
ticket_clh_refinement.v
Find file
Blame
History
Permalink
Remove bad 'simpl' in ticket_clh_refinement.
· 4ddcb65c
Joseph Tassarotti
authored
Mar 05, 2018
4ddcb65c