Changeset 3523 for LTS/Vm.ma


Ignore:
Timestamp:
Mar 11, 2015, 12:59:28 PM (5 years ago)
Author:
piccolo
Message:

closed all daemon with the final statement

File:
1 edited

Legend:

Unmodified
Added
Removed
  • LTS/Vm.ma

    r3508 r3523  
    12211221#p #p' #prog #R #mT #map1 #EQmap #si #s1 #s2 #sn #t #measurable
    12221222cases measurable #premeas * #s0 * #s3 * #ti0 * #t12 * #t3n *  #l1 * #l2 * #prf1 * #prf2
    1223 **** #EQ destruct #Hl1 #Hl2 #silent_ti0 #silent_t3n #acts cases(actionlabel_ok … Hl1)
     1223***** #EQ destruct #Hl1 #Hl2 #_ #silent_ti0 #silent_t3n #acts cases(actionlabel_ok … Hl1)
    12241224#c1 #EQc1 >rewrite_in_dependent_map
    12251225[2: >get_cost_label_append in ⊢ (??%?); >(get_cost_label_silent_is_empty … silent_ti0) in ⊢ (??%?);
Note: See TracChangeset for help on using the changeset viewer.