Framework/test/spec-fol.het

	spec-fol.het revision b3bacd257ffcdd346b70ab690f03b28ad5f33fdc
logic FOL
spec SP1 =
  c : i.
  p : i -> o.

  . p c
end

spec SP2 =
  p : i -> o.
  d : i.

  . p d
end

spec SP3 = SP1 and SP2

spec SP4 = SP3 then
  q : i -> o.

  . q d
end

spec S5 =
s : o.
t : type.
a : t.
end

spec S6 =
s : o.
l : o.
p : type.
b : p.
end

view V1 : S5 to S6

spec S7 =
nat : type.
a : nat.
end

spec S8 =
Nat : type.
p : Nat.
plus : Nat -> Nat -> Nat.
end

spec SP9 = SP3 reveal i

%view V2 : S7 to S8 = a |-> plus p p