diff options
author | Pierre Boutillier <pierre.boutillier@ens-lyon.org> | 2014-02-08 00:02:04 +0100 |
---|---|---|
committer | Pierre Boutillier <pierre.boutillier@ens-lyon.org> | 2014-02-24 14:07:07 +0100 |
commit | 80410d825befa1890c872596cf77378a437cee73 (patch) | |
tree | 16eb8caeaaba97a7d9991b3bb5e145d863cb399b /theories/Vectors | |
parent | a6dedd0d1184ae67c6ff48323f2df17dc1d42ef2 (diff) |
cbn understands Arguments
(excepts list of args that must be constructors
Diffstat (limited to 'theories/Vectors')
0 files changed, 0 insertions, 0 deletions