src/HOLCF/Tools/adm_tac.ML
2009-07-17 wenzelm 2009-07-17 tuned/modernized Envir.subst_XXX;
2009-04-29 huffman 2009-04-29 use opaque ascription for all HOLCF code
2009-03-20 wenzelm 2009-03-20 proper context for prove_cont/adm_tac;
2009-01-05 wenzelm 2009-01-05 misc tuning and modernization;
2008-06-23 wenzelm 2008-06-23 Term.all;
2008-06-11 wenzelm 2008-06-11 Drule.types_sorts;
2008-04-12 wenzelm 2008-04-12 rep_cterm/rep_thm: no longer dereference theory_ref;
2008-01-03 huffman 2008-01-03 fix theorem references
2007-05-31 wenzelm 2007-05-31 moved HOLCF tools to canonical place;