diff --git a/AFP-contribs/afp-Functional-Automata-2017-10-10.tar.gz b/AFP-contribs/afp-Functional-Automata-2017-10-10.tar.gz
new file mode 100644
index 0000000..09e9e9a
Binary files /dev/null and b/AFP-contribs/afp-Functional-Automata-2017-10-10.tar.gz differ
diff --git a/AFP-contribs/afp-Regular-Sets-2017-10-10.tar.gz b/AFP-contribs/afp-Regular-Sets-2017-10-10.tar.gz
new file mode 100644
index 0000000..c8c0869
Binary files /dev/null and b/AFP-contribs/afp-Regular-Sets-2017-10-10.tar.gz differ