diff options
| author | letouzey | 2007-07-05 13:47:46 +0000 |
|---|---|---|
| committer | letouzey | 2007-07-05 13:47:46 +0000 |
| commit | 16d82fecd6b070de30f0047b0ff9930ee8d67f02 (patch) | |
| tree | c0acabbcf958050229df5e2d8c45bcacc67ac684 /kernel/type_errors.mli | |
| parent | fe38cbc1cde5dbe09f5f56a6557d23ea71f9a797 (diff) | |
documentation of f_equal and revert and case_eq (and s/lri.fr/pps.jussieu.fr/ in my bib entry)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9944 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions