Search

Sort by

In Project(s)

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

/hets/Isabelle/export/
H A D	export_helper.ml	`880 val in_loc = List.filter (fn (_,t) => var 884 in (name,params,fix_consts in_loc,fix_consts ex_loc,ps) end) locales end 931 fun repr_locale T (s,fixes,in_loc,_,ps) = 933 @(if length fixes + length in_loc + length ps > 0 941 Pretty.quote (repr_term T tm)])) in_loc`

Completed in 11 milliseconds