Plugin for highlighting of Isabelle theory files
Install using a vim plugin manager. For example, if using vim-plug add the following text to your vim-config:
Plugin 'cplaursen/vim-isabelle'
Currently in development
Taken and adapted from a couple files in the l4v repository