equal
deleted
inserted
replaced
8 fun test_funs flag ctxt (rty, qty) = |
8 fun test_funs flag ctxt (rty, qty) = |
9 (absrep_fun_chk flag ctxt (rty, qty) |
9 (absrep_fun_chk flag ctxt (rty, qty) |
10 |> Syntax.string_of_term ctxt |
10 |> Syntax.string_of_term ctxt |
11 |> writeln; |
11 |> writeln; |
12 equiv_relation_chk ctxt (rty, qty) |
12 equiv_relation_chk ctxt (rty, qty) |
13 |> Syntax.string_of_term ctxt |
|
14 |> writeln; |
|
15 new_equiv_relation_chk ctxt (rty, qty) |
|
16 |> Syntax.string_of_term ctxt |
13 |> Syntax.string_of_term ctxt |
17 |> writeln) |
14 |> writeln) |
18 *} |
15 *} |
19 |
16 |
20 definition |
17 definition |