tamarin-prover-0.1.0.0: data/etc/filetype.vim
" autocommand to detect .spthy files augroup filetypedetect au BufNewFile,BufRead *.spthy setf spthy augroup END
" autocommand to detect .spthy files augroup filetypedetect au BufNewFile,BufRead *.spthy setf spthy augroup END