diff options
author | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2000-11-27 10:33:04 +0000 |
---|---|---|
committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2000-11-27 10:33:04 +0000 |
commit | e4e440a958ce9c49a39f01a3aaeb7603f77cd0a2 (patch) | |
tree | cb33e267d8255a5fe381dfcb982d95286e8b9ef0 /pretyping | |
parent | 8b0e0dca812f1365b674c3721b10a4aa561573ae (diff) |
Bug dans la gestion du contexte en présence de Fix dans le calcul de garde
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@978 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'pretyping')
0 files changed, 0 insertions, 0 deletions