2011-10-12 ago modernized structure Induct_Tacs;
2011-08-08 ago HOLCF: fix warnings about unreferenced identifiers
2011-05-13 ago proper Proof.context for classical tactics;
2011-04-17 ago report Name_Space.declare/define, relatively to context;
2011-04-16 ago eliminated old List.nth;
2011-04-16 ago modernized structure Proof_Context;
2011-03-29 ago tuned headers;
2010-12-19 ago switch to transparent ascription, to avoid warning messages
2010-12-16 ago made sml/nj happy
2010-11-30 ago remove gratuitous semicolons from ML code
2010-11-27 ago moved directory src/HOLCF to src/HOL/HOLCF;