2
:-
module
(
der
,
[
der
/
2
]
)
.
3
4
%:- use_module(boxer(slashes)).
5
6
:-
[
'working/doc/derivations.pl'
]
.