{"version":3,"file":"source.isabelle.theory.d.ts","sourceRoot":"","sources":["source.isabelle.theory.js"],"names":[],"mappings":";AAAA;;GAEG;AAEH,sBAAsB;AACtB,uBADW,OAAO,CA4EjB;6BA/EyB,sBAAsB"}