src/HOLCF/IOA/Modelcheck/ROOT.ML
2000-05-30 wenzelm 2000-05-30 cleaned up;
1999-08-19 wenzelm 1999-08-19 quite a lot of tuning and cleanup;
1999-04-22 wenzelm 1999-04-22 more graceful handling of load paths;
1999-04-22 mueller 1999-04-22 added translation from IOA to mucalculus and corresponding modelchecker examples;