src/HOLCF/IOA/meta_theory/Simulations.thy
2001-01-09 nipkow 2001-01-09 ` -> $
2001-01-05 nipkow 2001-01-05 *** empty log message ***
1998-01-13 mueller 1998-01-13 added forward simulation correectness;