src/HOLCF/IOA/meta_theory/CompoExecs.ML
2001-01-09 nipkow 2001-01-09 ` -> $
1999-08-17 wenzelm 1999-08-17 renamed Cons to Consq in order to avoid clash with List.Cons;
1998-06-22 wenzelm 1998-06-22 isatool fixgoal;
1998-04-27 nipkow 1998-04-27 Renamed expand_const -> split_const
1998-03-06 nipkow 1998-03-06 expand_if is now by default part of the simpset.
1997-12-16 wenzelm 1997-12-16 expandshort;
1997-11-03 wenzelm 1997-11-03 isatool fixclasimp;
1997-10-10 wenzelm 1997-10-10 fixed dots;
1997-07-17 mueller 1997-07-17 changes needed for adding fairness
1997-06-23 paulson 1997-06-23 Ran expandshort
1997-06-12 mueller 1997-06-12 added deadlock freedom, polished definitions and proofs
1997-05-21 mueller 1997-05-21 changes for release 94-8
1997-04-30 mueller 1997-04-30 New meta theory for IOA based on HOLCF.