
This directory contains the polynomial representation files:
MODULE : polynomial-representation
PACKAGES: This module contains the following packages, each is
in a separate file.
1. polynomial-representation-core: Basic arithmetic and comparison operations
2. pvs2polyrep: Routines to convert from PVS to new representation
	Uses package 'polyrep-basic
