typing/typer.ml · 476f9fe4a31e186ab63736ac052a6e4354b06220 · cduce / cduce · GitLab

Find file Blame History Permalink

[r2003-11-21 12:51:57 by szach] qualify record fields and tagnames with targetNamespace namespace · 476f9fe4
Pietro Abate authored Jul 10, 2007
```
Original author: szach
Date: 2003-11-21 12:51:57+00:00
```
476f9fe4