diff options
| author | ppedrot | 2013-11-09 00:04:51 +0000 |
|---|---|---|
| committer | ppedrot | 2013-11-09 00:04:51 +0000 |
| commit | 99cfd0d1fd205f5d5ca536b2bb5414bc43ffc243 (patch) | |
| tree | a05cdbe121a1e55223c24f688819a697a22ccc80 /kernel | |
| parent | 6cf364b18897c61b3200ed9c5795c7b48cf23b59 (diff) | |
Partial applications in Goal.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@17074 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions