isabelle: Changelog

huffman [Wed, 03 Mar 2010 08:49:11 -0800] rev 35562

remove dead code

huffman [Wed, 03 Mar 2010 08:26:01 -0800] rev 35561

add infix declarations

huffman [Wed, 03 Mar 2010 08:20:20 -0800] rev 35560

remove unnecessary theorem references

huffman [Wed, 03 Mar 2010 08:14:56 -0800] rev 35559

remove copy_of_dtyp from domain_axioms.ML

huffman [Wed, 03 Mar 2010 07:55:52 -0800] rev 35558

add_axioms returns an iso_info; add_theorems takes an iso_info as an argument

huffman [Wed, 03 Mar 2010 07:36:31 -0800] rev 35557

uniformly use variable names m and n in take-related lemmas; use export_without_context where appropriate

huffman [Wed, 03 Mar 2010 06:48:00 -0800] rev 35556

add function axiomatize_lub_take

huffman [Wed, 03 Mar 2010 06:25:42 -0800] rev 35555

move function mk_lub into holcf_library.ML

wenzelm [Wed, 03 Mar 2010 22:50:35 +0100] rev 35554

added extern_syntax;

haftmann [Wed, 03 Mar 2010 20:45:48 +0100] rev 35553

merged

isabelle