FOPSV12MAR2008
Second Embedded Version which parses temporal specs
Final overly parenthesized version (19MAR2008)
FOPSV19MAR2008
Third Initial Embedded Version (IEV3) which parses temporal specs
First Embedded Version which parses temporal specs
(IEV5) Made common superclass of jmlSpecQuantifiedExpressionRest & newly added temporal stuff and added file names to Makefile
Fourth Initial Embedded Version (IEV4) which parses temporal specs