Changeset 3531 for LTS/Final.ma


Ignore:
Timestamp:
Mar 13, 2015, 6:42:58 PM (5 years ago)
Author:
piccolo
Message:

new notion of measurable: some lemmas are still broken

File:
1 edited

Legend:

Unmodified
Added
Removed
  • LTS/Final.ma

    r3524 r3531  
    91916. Rappresentabilita' di I, [[ ]] e stati astratti =⇒ instrumentazione
    9292*)
     93
     94(* TO SAY
     951) in una misurabile le silenti prima/dopo l'IO sono già automaticamente vuote (perchè una silente
     96inizia/termina in un IO solo se vuota
     972) non chiediamo di non potere transire in una iniziale/da un finale perchè non ci serve; se uno lo
     98aggiunge ha automaticamente che le silenti sono vuote come nel caso IO.
     99*)
Note: See TracChangeset for help on using the changeset viewer.