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