diff options
| author |  Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2014-07-15 15:46:48 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2014-07-15 15:46:48 +0200 |
| commit | ec94edf830ff9676c43c86f0eb9038c4bd205f62 (patch) | |
| tree | 9209e97aba49e91aa25b54631727f7264265f730 /theories/Logic/Diaconescu.v | |
| parent | 737b01ab2db22762a8013b40a69dfd1d77da1fcd (diff) | |
Using the generic timeout function in the boostrapped file.
Diffstat (limited to 'theories/Logic/Diaconescu.v')
0 files changed, 0 insertions, 0 deletions