src/HOLCF/IOA/ABP/Action.thy
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2001-11-15 wenzelm 2001-11-15 GPLed;
1998-07-24 berghofe 1998-07-24 Adapted to new datatype package.
1997-04-30 mueller 1997-04-30 Old ABP files now running under the IOA meta theory based on HOLCF;