diff options
author | courant <courant@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2002-03-21 15:07:27 +0000 |
---|---|---|
committer | courant <courant@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2002-03-21 15:07:27 +0000 |
commit | 6de9782f097b11b023629abfebae01aa9cff98c1 (patch) | |
tree | 0ff110071d2b11dd3ba53df14e5199ac262f91ae /pretyping | |
parent | 9bd0183e7b6faa97dbaf2d6b016f4b0dc74e1a8c (diff) |
Intuition ne fait plus de Unfold des constantes (il faut les faire
soi-même si nécessaire) : l'idée est d'avoir un comportement clair et
toujours aussi rapide que possible.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2559 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'pretyping')
0 files changed, 0 insertions, 0 deletions