Library of complex function vector spaces

   (c) Copyright, Mohamed Yousri Mahmoud, Vincent Aravantinos, 2012-2013
                  Hardware Verification Group,
                  Concordia University

   Contact: <mosolim@ece.concordia.ca>, <vincent@ece.concordia.ca>

   Distributed with HOL Light under same license terms