* - Patience on me so that I gain peace and perfection! -
* [ suggested invocation to start formal specifications with ]
*)
include "Ground-2/list.ma".
* - Patience on me so that I gain peace and perfection! -
* [ suggested invocation to start formal specifications with ]
*)
include "Ground-2/list.ma".