src/HOLCF/IOA/ABP/Check.ML
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2001-11-15 wenzelm 2001-11-15 GPLed;
1998-11-25 wenzelm 1998-11-25 replaced prs by std_output;
1997-04-30 mueller 1997-04-30 Old ABP files now running under the IOA meta theory based on HOLCF;