All right, thanks. Then I think the best approach is to just have a separate module that I import.
-- Marc
- With imported functions instead of module? Marc Coquand
- Re: With imported functions instead of module? Felix Lechner via
- Re: With imported functions instead of module? Marc Coquand
- Re: With imported functions instead of modu... Felix Lechner via
- Re: With imported functions instead of ... Marc Coquand
