diff options
| author |  herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2000-03-08 21:34:26 +0000 |
|---|---|---|
| committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2000-03-08 21:34:26 +0000 |
| commit | e4d70800bf92818b137fd91934cdf3c15844720d (patch) | |
| tree | 657372c56fda9dab48d35dc0a57902beb5dc098b /pretyping/typing.ml | |
| parent | aa85a3eddc2ebc908c210792fca948d927a0c871 (diff) | |
MAJ nouveau try_mutind_of
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@304 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'pretyping/typing.ml')
0 files changed, 0 insertions, 0 deletions