Copyright © 2010-2013 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas
Version: Apr 3 2013 10:43:12
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, Apr 3 2013, 10:43:12.