diff options
| author | Brian Campbell | 2018-08-02 16:35:47 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-08-02 18:16:55 +0100 |
| commit | 03dcb84bb8330cfa7b947ff4ecc0c5c9efca8ab0 (patch) | |
| tree | 35aba0897f410cab13e52a1f9c0e304f12c4290a /doc/tutorial.tex | |
| parent | 8a06df3ad1b90a355d3e5adb694002f00e67823e (diff) | |
Coq: limit eauto to ensure termination in reasonable time
Diffstat (limited to 'doc/tutorial.tex')
0 files changed, 0 insertions, 0 deletions