diff options
| author | Pierre-Marie Pédrot | 2016-03-04 11:02:23 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2016-03-04 11:02:23 +0100 |
| commit | ebaa67508ec9f59f95e5b68bfece6228e2024ce5 (patch) | |
| tree | 02feda96cf21f5ecc4b6dddf7ddfaf675aca1919 /theories/Program | |
| parent | 032be0a3bb572782531d39f271c8befc2a05c60a (diff) | |
| parent | 0446b632883e7baa6979bd0251258ea3769c337b (diff) | |
Merge pull request #97 from clarus/trunk
Converting the README to MarkDown syntax.
Diffstat (limited to 'theories/Program')
0 files changed, 0 insertions, 0 deletions