diff options
| author |  Andres Erbsen <andreser@mit.edu> | 2016-06-25 18:58:01 -0400 |
|---|---|---|
| committer | Andres Erbsen <andreser@mit.edu> | 2016-06-25 18:58:01 -0400 |
| commit | 1554ea63676e285b8e8959bba6331a5ad11810d6 (patch) | |
| tree | 08b786a0e796428284d8ebe52921aae471d6bff6 /src/BaseSystemProofs.v | |
| parent | ce8a5c3804c50a4ee33f54b6f2fd8c6421b8cca1 (diff) | |
recommend pose proof instead of pose
Diffstat (limited to 'src/BaseSystemProofs.v')
0 files changed, 0 insertions, 0 deletions