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

/hets/Isabelle/export/
H A Dparser.ml7 |Text of opt_target * string Constructor in type:opt_target
272 >> (Misc o Text)), (* line 39 *)
274 >> (Misc o Text)), (* line 44 *)
1058 (mx'@[xml "Proof" [] [XML.Text proof]]@
1092 ([xml "Proof" [] [XML.Text proof]]@elems), s1) end,
1098 [xml "Proof" [] [XML.Text proof]],
1199 (ctxt'::[xml "Proof" [] [XML.Text proof]]

Completed in 108 milliseconds