misc/ns.ml · 83b3d1157c33fa6f2ccfcf864b8943630f3385ee · cduce / cduce · GitLab

Find file Blame History Permalink

[r2006-03-26 15:43:33 by afrisch] Accept binding prefix to empty string · 83b3d115
Pietro Abate authored Jul 10, 2007
```
Original author: afrisch
Date: 2006-03-26 15:43:33+00:00
```
83b3d115