Searched defs:fun_def (Results 1 - 1 of 1) sorted by relevance
| /hets/Isabelle/export/ | ||
| H A D | export_helper.ml | 804 val fun_def = (fn (pats,def) => (#2 (strip_comb pats),def)) var 808 (n,t) => (n,t,List.map fun_def (#psimps i))) d end |
Completed in 26 milliseconds