Searched refs:trans_line (Results 1 - 1 of 1) sorted by relevance
| /hets/Isabelle/export/ | ||
| H A D | parser.ml | 194 val trans_line = (* line 157 *) var 308 ("translations",Scan.repeat1 trans_line 310 ("no_translations",Scan.repeat1 trans_line |
Completed in 18 milliseconds