| author | wneuper <Walther.Neuper@jku.at> |
| Sun, 29 May 2022 19:00:35 +0200 | |
| changeset 60434 | d780a93d21b3 |
| parent 60431 | 5d1d51d29ad6 |
| permissions | -rw-r--r-- |
1 (* Title: Tools/isac/BridgeJEdit/parseC.sml
2 Author: Walther Neuper, JKU Linz
4 Outer token syntax for Isabelle/Isac.
5 This file shall be evaluated earlier such that its definitions are available
6 for Outer_Syntax.command Example, problem, method, etc.
7 Be aware, that keywords need to be defined before using in fun-definitions!
8 *)
10 signature PARSE_C =
11 sig
13 end
15 (**)
16 structure Parse_C(**): PARSE_C(**) =
17 struct
18 (**)
20 (* auxiliary parsers *)
21 (*-cp from MathEngBasic/problem.sml-*)
23 end