diff options
| author | herbelin | 2002-11-14 20:32:27 +0000 |
|---|---|---|
| committer | herbelin | 2002-11-14 20:32:27 +0000 |
| commit | 4fd92a741c0342fbbca1549281695e1ee92c1ba1 (patch) | |
| tree | 99da7bc0bc9b15c685889c91f8387bb5dfbba549 /kernel/typeops.ml | |
| parent | 724ae6574aa7488f28fefec50fd25c3aa8aef97b (diff) | |
Restauration échappement ML
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3238 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/typeops.ml')
0 files changed, 0 insertions, 0 deletions