diff options
| author | herbelin | 2004-02-28 09:26:15 +0000 |
|---|---|---|
| committer | herbelin | 2004-02-28 09:26:15 +0000 |
| commit | 5d0948711ff197c710357ebd0b8b70415a03b958 (patch) | |
| tree | e7f82c307e57de80eca9417be04b258473f51eee /kernel/indtypes.ml | |
| parent | 3f9df4f67b358308b72bd5894e0c9744062f44b9 (diff) | |
Prise en compte des implicites au travers des notations et abbreviations
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5394 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/indtypes.ml')
0 files changed, 0 insertions, 0 deletions