src/HOLCF/IOA/ABP/Check.ML
2010-05-05 haftmann 2010-05-05 farewell to old-style mem infixes -- type inference in situations with mem_int and mem_string should provide enough information to resolve the type of (op =)
2010-02-17 huffman 2010-02-17 remove $ from all HOLCF files
2009-10-27 wenzelm 2009-10-27 eliminated some old folds;
2007-04-04 wenzelm 2007-04-04 cleaned-up Output functions;
2006-10-04 haftmann 2006-10-04 insert replacing ins ins_int ins_string
2006-04-08 kleing 2006-04-08 converted Müller to Mueller to make smlnj 110.58 work
2005-09-03 wenzelm 2005-09-03 fixed ML errors;
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2001-11-15 wenzelm 2001-11-15 GPLed;
1998-11-25 wenzelm 1998-11-25 replaced prs by std_output;
1997-04-30 mueller 1997-04-30 Old ABP files now running under the IOA meta theory based on HOLCF;