Skip to content
GitLab
Explore
Sign in
Register
isa-afp
afp-2019
Repository
afp-2019
web
entries
KAT_and_DRA.shtml
Find file
Blame
History
Permalink
metadata for KAD; also added "depends-on = Kleene_Algebra" to KAT_and_DRA
· 8ba1cd547871
Lawrence Paulson
authored
Apr 12, 2016
8ba1cd547871