src/HOLCF/IOA/meta_theory/Asig.ML
1999-01-29 paulson tidied
1998-06-22 wenzelm isatool fixgoal;
1997-11-03 wenzelm isatool fixclasimp;
1997-09-03 mueller some minor changes;
1997-06-12 mueller added deadlock freedom, polished definitions and proofs
1997-05-21 mueller changes for release 94-8
1997-04-30 mueller New meta theory for IOA based on HOLCF.
less more (0) tip