NEWS
changeset 46641 8801a24f9e9a
parent 46591 1116909ef176
child 46732 ac701d7f7c3b
equal deleted inserted replaced
46640:622691cec7c3 46641:8801a24f9e9a
   333   - Renamed "sound" option to "strict".
   333   - Renamed "sound" option to "strict".
   334 
   334 
   335 * Metis:
   335 * Metis:
   336   - Added possibility to specify lambda translations scheme as a
   336   - Added possibility to specify lambda translations scheme as a
   337     parenthesized argument (e.g., "by (metis (lifting) ...)").
   337     parenthesized argument (e.g., "by (metis (lifting) ...)").
       
   338 
       
   339 * Command 'try0':
       
   340   - Renamed from 'try_methods'. INCOMPATIBILITY.
   338 
   341 
   339 
   342 
   340 *** FOL ***
   343 *** FOL ***
   341 
   344 
   342 * New "case_product" attribute (see HOL).
   345 * New "case_product" attribute (see HOL).