blob: bed474144ef5975ec687ae883279e698be6753c0 (
plain)
1
2
3
4
5
6
7
8
9
10
|
%%% file proof-spec-plain-mp.mp
input proof-mpcolornames
defaultcolormodel := 5;% RGB
specname := "plain-mp";
proof(black);
proof(white);
proof(red);
proof(green);
proof(blue);
end
|