• Amin Timany's avatar
    Prove refinement of fine/coarse-grained stack · 17a84c8d
    Amin Timany authored
    Squashed commit of the following:
    
    commit a8d2dd620df2fe8531b590811b7f08d2bc1289b4
    Author: Amin Timany <amintimany@gmail.com>
    Date:   Sun May 29 13:54:07 2016 +0200
    
        Prove refinement of fine/coarse-grained stack
    
    commit 6347ef920581b4f21b5dfa74d288afcf482c9b50
    Author: Amin Timany <amintimany@gmail.com>
    Date:   Sun May 29 01:37:23 2016 +0200
    
        Backup
    
    commit 39552d8055f55458c9515e629707d496e26e92b7
    Author: Amin Timany <amintimany@gmail.com>
    Date:   Sat May 28 22:40:02 2016 +0200
    
        Backup
    17a84c8d
_CoqProject 822 Bytes