parser/parser.ml · d1d0bc008c241657c310f41a30dd5edf10f65507 · cduce / cduce · GitLab

Find file Blame History Permalink

[r2005-02-25 10:35:06 by afrisch] Bind namespace prefix when loading a schema · d1d0bc00
Pietro Abate authored Oct 05, 2007
```
Original author: afrisch
Date: 2005-02-25 10:35:06+00:00
```
d1d0bc00

parser.ml 20.2 KB