<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">:- use_package(assertions).

:- comment(filetype, part).

:- comment(title,"PART IX - Abstract data types").

:- comment(author,"The CLIP Group").

:- comment(module,"@include{ADTs.lpdoc}").

main.

%% --------------------------------------------------------------------------- 
:- comment(version_maintenance,dir('../../version')).
%% --------------------------------------------------------------------------- 

:- comment(version(1*9+235,2003/12/22,18:15*55+'CET'), "Added comment
   author.  (Edison Mera)").

</pre></body></html>