LF/test/spec.het

	spec.het revision d2786879b4733fd4886a5b654f7c6de1d234f638
logic LF
spec SP1 =
  o : type.
  ded : o -> type.
  i : type.
  p : o.
  q : o = p.
  f : i -> o.

  . ded q
end

spec SP2 =
  o : type.
  p : o.
  a : o = p.
  q = p.
end

spec SP = SP1 and SP2