diff options
author | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2000-04-28 19:04:09 +0000 |
---|---|---|
committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2000-04-28 19:04:09 +0000 |
commit | ad6d5fe6353ec5faf0a39f844fa58673cf50cff0 (patch) | |
tree | c0a5546103b1164a58256d8e9348cf610d8b8744 /pretyping/detyping.mli | |
parent | 7a7fff7bd838d2c54cf341549c5b0e1d3cf21803 (diff) |
Decoupage de tactics/pattern en proofs/pattern et tactics/hipattern
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@382 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'pretyping/detyping.mli')
0 files changed, 0 insertions, 0 deletions