/ListaProgram.java/1.1/Fri Jun 17 10:47:46 2011//
/ListaTaticas.java/1.2/Fri Jun 17 10:47:45 2011//
/Mubox.java/1.2/Mon Jun 20 03:41:37 2011//
/TAbort.java/1.2/Fri Jun 17 10:47:45 2011//
/TAlt.java/1.2/Fri Jun 17 10:47:46 2011//
/TAppliesToDo.java/1.2/Mon Jun 20 03:41:36 2011//
/TBeginEndBox.java/1.2/Mon Jun 20 03:41:37 2011//
/TCut.java/1.2/Fri Jun 17 10:47:46 2011//
/TDeclbox.java/1.2/Fri Jun 17 10:47:46 2011//
/TDeclboxinstbox.java/1.2/Fri Jun 17 10:47:45 2011//
/TDefsbox.java/1.3/Fri Jun 17 10:47:46 2011//
/TExtchoicebox.java/1.2/Fri Jun 17 10:47:47 2011//
/TExternalChoice.java/1.2/Fri Jun 17 10:47:46 2011//
/TFail.java/1.2/Fri Jun 17 10:47:45 2011//
/TFails.java/1.2/Fri Jun 17 10:47:46 2011//
/TGuardbox.java/1.3/Fri Jun 17 10:47:46 2011//
/THidebox.java/1.3/Fri Jun 17 10:47:47 2011//
/TIfFi.java/1.2/Fri Jun 17 10:47:45 2011//
/TIndexedBox.java/1.2/Fri Jun 17 10:47:46 2011//
/TIntchoicebox.java/1.2/Fri Jun 17 10:47:46 2011//
/TInterleavboxIde.java/1.2/Fri Jun 17 10:47:46 2011//
/TInterleavebox.java/1.2/Fri Jun 17 10:47:45 2011//
/TInternalChoice.java/1.2/Fri Jun 17 10:47:45 2011//
/TMu.java/1.2/Mon Jun 20 03:41:36 2011//
/TParallelbox.java/1.3/Mon Jun 20 03:41:37 2011//
/TParallelboxIde.java/1.2/Fri Jun 17 10:47:46 2011//
/TProgram.java/1.2/Mon Jun 20 03:41:37 2011//
/TRenamingbox.java/1.2/Fri Jun 17 10:47:46 2011//
/TResbox.java/1.2/Fri Jun 17 10:47:45 2011//
/TSemi.java/1.2/Fri Jun 17 10:47:47 2011//
/TSemibox.java/1.3/Mon Jun 20 03:41:37 2011//
/TSemiboxIde.java/1.2/Fri Jun 17 10:47:46 2011//
/TSkip.java/1.2/Fri Jun 17 10:47:46 2011//
/TSuccs.java/1.2/Fri Jun 17 10:47:46 2011//
/TTHenbox.java/1.3/Fri Jun 17 10:47:46 2011//
/TTatica.java/1.3/Mon Jun 20 03:41:37 2011//
/TVResbox.java/1.2/Fri Jun 17 10:47:46 2011//
/TValbox.java/1.2/Fri Jun 17 10:47:46 2011//
/TVarbox.java/1.3/Mon Jun 20 03:41:36 2011//
/TacticComponent.java/1.2/Fri Jun 17 10:47:46 2011//
/Tatica.java/1.2/Fri Jun 17 10:47:47 2011//
/TaticaBinaria.java/1.2/Fri Jun 17 10:47:46 2011//
/TaticaNaria.java/1.2/Fri Jun 17 10:47:46 2011//
/TaticaUnaria.java/1.2/Fri Jun 17 10:47:46 2011//
/Tlaw.java/1.4/Mon Jun 20 03:41:37 2011//
