Commit 0dc090e9 authored by Glen Mével's avatar Glen Mével
Browse files

rename Thunks to ThunksSimple (make room for a more elaborate formalization)

parent daf2e35f
...@@ -22,7 +22,7 @@ theories/Examples.v ...@@ -22,7 +22,7 @@ theories/Examples.v
theories/Reduction.v theories/Reduction.v
theories/Tactics.v theories/Tactics.v
theories/Simulation.v theories/Simulation.v
theories/Thunks.v theories/ThunksSimple.v
theories/TimeCredits.v theories/TimeCredits.v
theories/TimeCreditsAltProofs.v theories/TimeCreditsAltProofs.v
theories/TimeReceipts.v theories/TimeReceipts.v
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment