Skip to content
GitLab
Explore
Sign in
LATIN2
source
logic
hol_like
dhol.mmt
Find file
Blame
History
Permalink
Move inclusion to more appropriate theory
· fc273913
ColinRothgang
authored
Sep 19, 2023
fc273913