src/HOLCF/IMP/ROOT.ML
2007-07-31 wenzelm 2007-07-31 simultaneous use_thys;
2001-12-27 wenzelm 2001-12-27 tuned;
2000-05-30 wenzelm 2000-05-30 cleaned up;
1999-04-22 wenzelm 1999-04-22 more graceful handling of load paths;
1999-02-03 wenzelm 1999-02-03 tidied load path handling;
1998-07-28 wenzelm 1998-07-28 removed global_names flag;
1997-10-20 wenzelm 1997-10-20 reset global_names;
1997-09-09 nipkow 1997-09-09 Loads HoareEx now.
1997-03-17 nipkow 1997-03-17 The HOLCF-based den. sem. of IMP.