diff options
| author |  Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2017-07-12 16:54:12 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2017-07-13 15:14:45 +0200 |
| commit | f2a01d400c92c48caf79771f17820a492f99057b (patch) | |
| tree | 75c2b46c8d99cec0e4298c4227b7ad2289fb8938 /vernac/lemmas.ml | |
| parent | 469a9b3242891b089b4a211e96b5b568277f7fc0 (diff) | |
Removing the uses of abstraction-breaking code in Obligations.
Diffstat (limited to 'vernac/lemmas.ml')
0 files changed, 0 insertions, 0 deletions