Directory esaminate: joint, RTLabs, RTL, ERTLptr, LTL, LIN, ASM joint/lineariseProof.ma da riparare LIN/joint_LTL_LIN_semantics.ma: parametri LIN/LIN_semantics.ma LTL/LTL_semantics.ma RTL/RTL_semantics.ma: parametri ASM/AssemblyProofSplitSplit.ma: nuove istruzioni ASM/AssemblyProofSplit.ma: nuove istruzioni ASM/AssemblyProof.ma: nuove istruzioni ASM/StatusProofSplit.ma nuove istruzioni ASM/Test.ma: nuove istruzioni ASM/AssemblyProofSplit.ma working, just veeery slow ASM/AssemblyProofSplitSplit.ma ======================================================== ERTLptr/ERTLtoERTLptrOK.ma: ci sta lavorando mauro