2010-03-13 ago removed old CVS Ids;
2008-03-18 ago converted legacy ML scripts;
2007-09-15 ago fixed title
2005-09-20 ago slight adaptions to library changes
2005-03-03 ago Move towards standard functions.
2000-07-06 ago removal of batch style, and tidying
1997-12-19 ago adapted to new sort function;
1997-02-10 ago Renamed structure Int (intuitionistic prover) to IntPr to prevent clash
1997-01-31 ago ex_impE was incorrectly listed as Safe
1996-01-30 ago expanded tabs
1996-01-29 ago expanded tabs
1993-09-16 ago Initial revision