# This finds theories that are not pulled in by other theories
find . -name \*.v.d | xargs cat | grep "vio: " | cut -d " " -f 3- | tr ' ' '\n' | sort -u > /tmp/dep
find . -name \*.v.d | xargs cat | grep "vio: " | cut -d ":" -f 1 | sort -u > /tmp/all
diff -u /tmp/dep /tmp/all | grep "^[+]theories" | cut -d "/" -f 2- | sed "s/[.]vio$/./;s/\//./g;s/^/Require Import /"
