isabelle: Changelog

wenzelm [Fri, 07 Oct 2005 22:59:22 +0200] rev 17784

Term.absdummy;

wenzelm [Fri, 07 Oct 2005 22:59:21 +0200] rev 17783

removed obsolete ex/Tuple.thy;

wenzelm [Fri, 07 Oct 2005 22:59:19 +0200] rev 17782

replaced _K by dummy abstraction;

wenzelm [Fri, 07 Oct 2005 22:59:18 +0200] rev 17781

print_translation: does not handle _idtdummy;

wenzelm [Fri, 07 Oct 2005 22:59:17 +0200] rev 17780

tuned;

wenzelm [Fri, 07 Oct 2005 22:59:15 +0200] rev 17779

added dummy variable binding; removed obsolete _K;

nipkow [Fri, 07 Oct 2005 20:41:10 +0200] rev 17778

changes due to new neq_simproc in simpdata.ML

wenzelm [Fri, 07 Oct 2005 18:49:20 +0200] rev 17777

added str_of_term (from HOL/Tools/ATP/recon_translate_proof.ML);

wenzelm [Fri, 07 Oct 2005 18:49:19 +0200] rev 17776

Term.str_of_term;

paulson [Fri, 07 Oct 2005 17:57:21 +0200] rev 17775

minor code tidyig

isabelle