diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-11-26 17:53:57 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-11-26 17:53:57 +0000 |
| commit | 0f687ec65a2cb6a25a805b6c8f04fe3d90aad05b (patch) | |
| tree | d871c250a4f9b5dabfaa548950e15bb40dd87b2d /COPYING | |
| parent | 98bc135baf2bae90f39bb919f56afce5ae13a1ad (diff) | |
| download | open-axiom-0f687ec65a2cb6a25a805b6c8f04fe3d90aad05b.tar.gz | |
* interp/parse.boot (parseImplies): Remove.
Diffstat (limited to 'COPYING')
0 files changed, 0 insertions, 0 deletions