diff options
author | Paul Steckler <steck@stecksoft.com> | 2017-03-08 10:49:09 -0500 |
---|---|---|
committer | Paul Steckler <steck@stecksoft.com> | 2017-03-08 10:49:09 -0500 |
commit | 6c703907b192bc903ca9897e17424e58e2003692 (patch) | |
tree | aa42d5b9a292e09a31d36bf44a867dbd48b979fb /coq/ex/mult3.v | |
parent | 915ad2578489919e169fdcf4fe76a4f070268073 (diff) | |
parent | 06fd76163b857a056ac44e7437efa17656f06e5b (diff) |
Merge commit '06fd76163b857a056ac44e7437efa17656f06e5b'
Diffstat (limited to 'coq/ex/mult3.v')
0 files changed, 0 insertions, 0 deletions