Lines Matching defs:has
202 val has : elem -> set -> bool
211 fun has e s = Lib.mem e s
236 fun optset_nomath s = OptSet.has NoMath s
347 val alltt = OptSet.has AllTT opts orelse
348 (command = Theorem andalso not (OptSet.has TT opts))
349 val rulep = OptSet.has Rule opts orelse OptSet.has StackedRule opts
359 if OptSet.has StackedRule opts then
399 |> (if OptSet.has NoDollarParens opts then
403 |> (if OptSet.has NoMerge opts then
406 |> (if OptSet.has Merge opts then
452 if OptSet.has NoSpec opts then thm
468 if OptSet.has Def opts orelse OptSet.has SpacedDef opts then let
469 val newline = if OptSet.has SpacedDef opts then
483 if OptSet.has NoTurnstile opts then
491 val term = if OptSet.has TermThm opts then
493 else if OptSet.has Case opts then
511 val s2 = if OptSet.has Turnstile opts then
521 val typ = if OptSet.has TypeOf opts