src/HOLCF/IOA/meta_theory/Abstraction.ML
1998-10-19 mueller 1998-10-19 solved conflict by taking newest version;
1998-07-12 wenzelm 1998-07-12 isatool expandshort;
1998-06-22 wenzelm 1998-06-22 isatool fixgoal;
1998-04-27 nipkow 1998-04-27 Renamed expand_const -> split_const
1998-03-10 nipkow 1998-03-10 Updated proofs because of new simplifier.
1998-01-14 mueller 1998-01-14 added thms wrt weakening and strengthening in Abstraction;
1998-01-12 mueller 1998-01-12 added files containing temproal logic and abstraction;