diff options
| author | herbelin | 2003-06-10 21:01:16 +0000 |
|---|---|---|
| committer | herbelin | 2003-06-10 21:01:16 +0000 |
| commit | ac33262dfe1d33e1e9e6624f221ba75e927e0f3a (patch) | |
| tree | 5b305fab73ce9879ac01a1588b176ee1ddbaa7bb /kernel/declarations.ml | |
| parent | 22d53f94cfb5aa99a9a7484cb21538766ba79f34 (diff) | |
Extension de Locate sur les symboles avec recherche de sous-chaînes; mise en place structure pour des 'arguments scope' dirigés par une classe
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4109 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/declarations.ml')
0 files changed, 0 insertions, 0 deletions