src/HOLCF/IOA/ABP/Lemmas.ML
2002-08-27 wenzelm 2002-08-27 *** empty log message ***
2001-11-15 wenzelm 2001-11-15 GPLed;
1998-07-24 berghofe 1998-07-24 Adapted to new datatype package.
1998-04-27 nipkow 1998-04-27 Renamed expand_const -> split_const
1997-12-16 wenzelm 1997-12-16 expandshort;
1997-11-03 wenzelm 1997-11-03 isatool fixclasimp;
1997-10-13 wenzelm 1997-10-13 fixed dots;
1997-04-30 mueller 1997-04-30 Old ABP files now running under the IOA meta theory based on HOLCF;