equal
deleted
inserted
replaced
13 val to_string : T -> string |
13 val to_string : T -> string |
14 val result : single -> (term * term list) |
14 val result : single -> (term * term list) |
15 val make_single: Rewrite_Ord.rew_ord' * 'a -> Rule_Set.T -> term * Rule.rule * (term * term list) -> |
15 val make_single: Rewrite_Ord.rew_ord' * 'a -> Rule_Set.T -> term * Rule.rule * (term * term list) -> |
16 single |
16 single |
17 val insert_pos : Pos.pos -> T -> T |
17 val insert_pos : Pos.pos -> T -> T |
18 (* ---- for tests only: shifted from below to remove the Warning "unused" at fun.def. --------- *) |
|
19 (* NONE *) |
|
20 (*/-------------------------------------------------------- ! aktivate for Test_Isac BEGIN ---\* ) |
|
21 (* NONE *) |
|
22 ( *\--- ! aktivate for Test_Isac END ----------------------------------------------------------/*) |
|
23 end |
18 end |
24 |
19 |
25 (**) |
20 (**) |
26 structure State_Steps(**): STATE_STEPS(**) = |
21 structure State_Steps(**): STATE_STEPS(**) = |
27 struct |
22 struct |