| author | Walther Neuper <wneuper@ist.tugraz.at> |
| Sat, 21 Jan 2017 10:25:19 +0100 | |
| changeset 59298 | 4a57be56d601 |
| child 59299 | bf6e43b9ce92 |
| permissions | -rw-r--r-- |
| wneuper@59298 | 1 |
signature TACTIC = |
| wneuper@59298 | 2 |
sig |
| wneuper@59298 | 3 |
|
| wneuper@59298 | 4 |
(* ---- for tests only: made visible in order to remove the warning --------------------------- *) |
| wneuper@59298 | 5 |
|
| wneuper@59298 | 6 |
(*/-------------------------------------------------------- ! aktivate for Test_Isac BEGIN ---\*) |
| wneuper@59298 | 7 |
|
| wneuper@59298 | 8 |
(*\--- ! aktivate for Test_Isac END ----------------------------------------------------------/*) |
| wneuper@59298 | 9 |
end |
| wneuper@59298 | 10 |
|
| wneuper@59298 | 11 |
structure Tac(**): TACTIC(**) = |
| wneuper@59298 | 12 |
struct |
| wneuper@59298 | 13 |
|
| wneuper@59298 | 14 |
end |