script.kps 294 Bytes
Newer Older
1
// This file is not written yet!!
Sarah Grebing's avatar
Sarah Grebing committed
2

3
script main() {
Sarah Grebing's avatar
Sarah Grebing committed
4
5
6
7
8
    feqff : TERM := `f(c) = f(f(c))`;
    ffeqf : TERM := `f(f(c)) = f(c)`;
    feqfff: TERM :=  `f(c) = f(f(f(c)))`;

    impRight;
Sarah Grebing's avatar
Sarah Grebing committed
9
    instantiate var='x' with=`c`;
Sarah Grebing's avatar
Sarah Grebing committed
10
11
12
13
14
    applyEq on=`f(f(c))` formula=feqfff;
    eqSymm on=feqff;
    close;
}