# ./generate-visitor-functions.sh

./division-j-file.pl TFunction.j && ./division-j-file.pl TLiteral.j
cd coq; ./PreludeGenerator.sh
