diff options
| author | Pierre-Marie Pédrot | 2016-02-29 18:11:47 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2016-02-29 18:11:47 +0100 |
| commit | 032be0a3bb572782531d39f271c8befc2a05c60a (patch) | |
| tree | 0ff9609e6a03baba58a1b1072a9c3b8b593ad6f9 /theories/Program | |
| parent | 4d25b224b91959b85fcd68c825a307ec684f0bac (diff) | |
| parent | 1397f791b1699b0f04d971465270d5b2df9a6d7f (diff) | |
Merge branch 'clean-atomic-tactics'
Diffstat (limited to 'theories/Program')
0 files changed, 0 insertions, 0 deletions