diff --git a/vimrc b/vimrc
index 47a1536..eb8a23a 100644
--- a/vimrc
+++ b/vimrc
@@ -103,6 +103,8 @@ Plug 'urbit/hoon.vim'
 
 Plug 'ahf/twelf-syntax'
 
+Plug 'c-cube/vim-tptp'
+
 call plug#end()
 
 filetype plugin indent on
@@ -119,6 +121,9 @@ au BufNewFile,BufRead *.vala  setf cs
 au BufNewFile,BufRead *.md  set ft=markdown
 au syntax java  set ts=4 sts=4 sw=4
 au BufNewFile,BufRead *.i set ft=swig
+au BufNewFile,BufRead *.s set ft=tptp
+au BufNewFile,BufRead *.s.out set ft=tptp
+au BufNewFile,BufRead *.tptp set ft=tptp
 au BufReadCmd *.epub call zip#Browse(expand("<amatch>"))
 au syntax haskell setl omnifunc=necoghc#omnifunc
 let g:necoghc_enable_detailed_browse=1