src/HOLCF/IOA/ROOT.ML
2007-07-03 wenzelm 2007-07-03 proper use of ioa_package.ML;
2006-04-08 kleing 2006-04-08 converted Müller to Mueller to make smlnj 110.58 work
2005-10-19 wenzelm 2005-10-19 removed obsolete IOA/meta_theory/ioa_package.ML;
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2001-11-15 wenzelm 2001-11-15 GPLed;
2000-05-30 wenzelm 2000-05-30 cleaned up;
1999-04-22 wenzelm 1999-04-22 more graceful handling of load paths;
1999-04-22 mueller 1999-04-22 changed to include new subdirs ex and Modelcheck;
1999-02-03 wenzelm 1999-02-03 tidied load path handling;
1998-04-21 oheimb 1998-04-21 simplification of explicit theory usage and merges
1998-01-12 mueller 1998-01-12 added abstraction files;
1997-04-30 mueller 1997-04-30 New meta theory for IOA based on HOLCF.