:- use_package(assertions).
:- doc(nodoc,assertions).
:- doc(nodoc,assertions_basic).

:- doc(title,"Emulator description language").

:- doc(author, "Jose F. Morales").

:- doc(module,"This package implements a reduced version of the
   emulator generator and emulator description language described in
   @cite{jfran-phd,morales09:improlog-tr}.").

