/* Tactic: HideDistStep */
\tbegin
\ttactic HideDistStep()  \def

 \tmu X @ \ttactic TRY() (
 
   (\tlaw Hiding_Sequence_distribution() \tsemi (X \semibox X))
   \tlat (\tlaw HidParDist() \tsemi (X \parallelbox X))
   \talt (\tlaw HidInterDist() \tsemi (X \parallelbox X))
   \talt (\tlaw HidRecDist() \tsemi (\mubox X))
   \talt (\tlaw HidStep() \tsemi X)
   \talt (\tlaw Hiding_Identity()))

  \tend
