Directory esaminate: joint, RTLabs, RTL, ERTLptr, LTL, LIN, ASM

joint/linearise.ma:               prova rotta ci sta lavorando Paolo
  joint/lineariseProof.ma
  LTL/LTLToLIN.ma                 ma funziona una volta riparato linearise.ma

LIN/joint_LTL_LIN_semantics.ma:   parametri
  LIN/LIN_semantics.ma
  LTL/LTL_semantics.ma

LIN/LINToASM.ma:                  FCOND rotto, deve fare cose diverse ora?

RTL/RTL_semantics.ma:             parametri

ASM/*                             rotto, nuove istruzioni

ASM/AssemblyProofSplit.ma         working, just veeery slow
 ASM/AssemblyProofSplitSplit.ma

========================================================

ERTLptr/ERTLtoERTLptrOK.ma:       ci sta lavorando mauro