diff options
| author | Emilio Jesus Gallego Arias | 2020-03-07 00:32:08 -0500 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-03-19 17:18:55 -0400 |
| commit | a7ee674ba3330c9a0e460de6e39cffdb0f6e8805 (patch) | |
| tree | 80f4b731dbcba6712338c68c6fc01c7832f37082 /vernac/comFixpoint.ml | |
| parent | 1a18c20ba374a74bc7dda0c4719258b93afb149e (diff) | |
[proof] Remove duplicated poly field in Proof_global.t
Diffstat (limited to 'vernac/comFixpoint.ml')
0 files changed, 0 insertions, 0 deletions