declare const _: {
  readonly name: 'Isabelle'
  readonly type: 'programming'
  readonly aceMode: 'text'
  readonly extensions: readonly ['.thy']
  readonly languageId: 170
  readonly tmScope: 'source.isabelle.theory'
  readonly color: '#FEFE00'
}

export default _