src/HOLCF/IOA/NTP/Lemmas.ML
2000-10-12 nipkow 2000-10-12 *** empty log message ***
1998-10-16 nipkow 1998-10-16 Mods because trans_tac is now part of thge simplifier.
1998-07-24 berghofe 1998-07-24 Adapted to new datatype package.
1998-04-27 nipkow 1998-04-27 Renamed expand_const -> split_const
1998-01-08 oheimb 1998-01-08 *** empty log message ***
1997-12-16 wenzelm 1997-12-16 expandshort;
1997-12-06 nipkow 1997-12-06 Cleaned up arithmetic mess.
1997-12-05 wenzelm 1997-12-05 adapted proofs to cope with simprocs nat_cancel;
1997-11-03 wenzelm 1997-11-03 isatool fixclasimp;
1997-04-30 mueller 1997-04-30 Old NTP files now running under the IOA meta theory based on HOLCF;