Searched refs:enclose (Results 1 - 1 of 1) sorted by relevance
| /hets/Isabelle/export/ | ||
| H A D | export_helper.ml | 907 @(List.map (fn p => Pretty.enclose "(" ")" [repr_term T p]) 952 let val vs' = Pretty.enclose "(" ")" |
Completed in 21 milliseconds