Searched defs:ml_text (Results 1 - 1 of 1) sorted by relevance

/hets/Isabelle/export/
H A Dparser.ml17 type ml_text = string * Position.T; type
64 |ML of ml_text
65 |ML_prf of ml_text
66 |ML_val of ml_text
67 |ML_command of ml_text
68 |Setup of ml_text
69 |LocalSetup of opt_target * ml_text
70 |AttributeSetup of (bstring * Position.T) * (ml_text * string)
71 |MethodSetup of (bstring * Position.T) * (ml_text * string)
72 |Declaration of (opt_target * bool) * ml_text
[all...]

Completed in 11 milliseconds