Copyright © 2010-2016 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas
Version: Jun 20 2016 16:39:25
Authors: Manolis Papadakis.
PROPER_NO_TRANSis defined. Applying this transform has the following effects:
prop_are automatically exported.
?FORALLs that correspond to native types are properly substituted (with some limitations, see the
proper_typeservermodule for details).
Generated by EDoc, Jun 20 2016, 16:39:25.