Searched refs:trans_line (Results 1 - 1 of 1) sorted by relevance

/hets/Isabelle/export/
H A Dparser.ml194 val trans_line = (* line 157 *) var
308 ("translations",Scan.repeat1 trans_line
310 ("no_translations",Scan.repeat1 trans_line

Completed in 18 milliseconds