Changeset 2222 for src/ASM


Ignore:
Timestamp:
Jul 20, 2012, 10:58:15 AM (7 years ago)
Author:
sacerdot
Message:

More robust to possible future changes to the "in match" semantics
(that would be weakened).

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/PolicyFront.ma

    r2221 r2222  
    431431    Some ? (pi1 ?? final_policy).
    432432[ / by I/
    433 | lapply p -p generalize in match (foldl_strong ?????); * #p #Hp #hg
     433| lapply p -p cases final_policy -final_policy #p #Hp #hg
    434434  @conj [ @Hp | @not_lt_to_le @ltb_false_to_not_lt @hg ]
    435435| @conj [ @conj [ @conj [ @conj
Note: See TracChangeset for help on using the changeset viewer.