diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-05-21 14:33:54 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-05-21 14:33:54 +0000 |
| commit | 0fd61f7b731145923414f6fe21a511f2304bd9d9 (patch) | |
| tree | 38d44187f9a885a543cb58b28673fd3a3df64ba5 /src/algebra/fr.spad.pamphlet | |
| parent | 85ffb95ec1d15c5467784f00bdc2e22cfb319162 (diff) | |
| download | open-axiom-0fd61f7b731145923414f6fe21a511f2304bd9d9.tar.gz | |
* interp/cparse.boot (npQuantified): New.
(npType): Use it.
(npDefinitionOrStatement): Likewise. Accept quantified expressions.
(npMatch): Remove.
(npDef): Adjust.
(npMonoType): Likewise.
(npDiscrim): Recognize 'is' and 'isnt' patterns.
Diffstat (limited to 'src/algebra/fr.spad.pamphlet')
0 files changed, 0 insertions, 0 deletions