Skip to content
GitLab
Explore
Sign in
Iris
string-ident
Repository
string-ident
theories
ltac2_string_ident.v
Find file
Blame
History
Permalink
Merge branch 'tchajed/simplify-passing-identifier' into 'master'
· ba39ed08
Tej Chajed
authored
Jul 19, 2020
Re-implement passing identifier back to Ltac1 See merge request
!5
ba39ed08