diff options
author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2013-12-15 14:47:20 +0000 |
---|---|---|
committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2013-12-15 14:47:20 +0000 |
commit | c511207bd0f25c4199770233175924a725526bd3 (patch) | |
tree | c5644b7b4d3577a96e7d823d51a90e049e25d386 /extraction/extraction.v | |
parent | 3064d1d1ec7a2781779b074d6d7d91ba9b990832 (diff) |
Axioms: remove prop_ext, currently unused AND unsound in Coq 8.4.
VERSION: bump version number.
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2379 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'extraction/extraction.v')
0 files changed, 0 insertions, 0 deletions