1 (* Title: src/Tools/isac/BridgeJEdit/BridgeJEdit.thy
2 Author: Walther Neuper, JKU Linz
3 (c) due to copyright terms
4
5 Auxiliary file for bootstrapping Isac
6 *)
7
8 theory BridgeJEdit
9 imports VSCode_Example
10 begin
11
12 ML \<open>
13 \<close> ML \<open>
14 \<close> ML \<open>
15 \<close>
16
17 end
18