diff options
author | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2003-10-13 08:39:18 +0000 |
---|---|---|
committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2003-10-13 08:39:18 +0000 |
commit | 8c0a5f183b1c9cff8baddd7f71d18e1cf768a191 (patch) | |
tree | a0caf7464c13ba2f7d489c95baca764f4c488d22 /kernel/reduction.ml | |
parent | 470b98867ebcd92cc62e61ad2910275bfc36fdea (diff) |
Deplacement pr_subgoal and co vers Pfedit; Ajout SearchNamed
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4606 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/reduction.ml')
0 files changed, 0 insertions, 0 deletions