diff options
| author | herbelin | 2000-10-26 12:27:42 +0000 |
|---|---|---|
| committer | herbelin | 2000-10-26 12:27:42 +0000 |
| commit | 75effdc265e716651c860d0878ffbfc205646cbd (patch) | |
| tree | 9a3c1182c8678c6f57c42af92c6d617ff17957aa /scripts | |
| parent | 03875d3a79dcb97616e402a148fa5930fb13f013 (diff) | |
Ajout de la mthode load_function pour exporter les 'tactic-ring-theory'
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@765 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions