diff options
| author |  soubiran <soubiran@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2009-10-26 11:08:34 +0000 |
|---|---|---|
| committer | soubiran <soubiran@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2009-10-26 11:08:34 +0000 |
| commit | 5dcc913519b8822ddf59eb3a356028f45f42cc3b (patch) | |
| tree | a92cbe9fb3fdabff79163bb04e7d7f5bc87cbee7 /toplevel/protectedtoplevel.ml | |
| parent | 14893db7bda6542fa466508d962920ee64d3e45a (diff) | |
New functors for gmap and gset.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12417 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'toplevel/protectedtoplevel.ml')
0 files changed, 0 insertions, 0 deletions