isabelle: Changelog

huffman [Fri, 20 Apr 2012 15:34:33 +0200] rev 47626

move definition of set_rel into Library/Quotient_Set.thy

huffman [Fri, 20 Apr 2012 15:30:13 +0200] rev 47625

add transfer rule for 'id'

huffman [Fri, 20 Apr 2012 14:57:19 +0200] rev 47624

add new transfer rules and setup for lifting package

huffman [Fri, 20 Apr 2012 10:37:00 +0200] rev 47623

setup_lifting preprocesses forall_transfer rule by unfolding mem_Collect_eq

hoelzl [Fri, 20 Apr 2012 11:17:01 +0200] rev 47622

NEWS

hoelzl [Fri, 20 Apr 2012 11:14:39 +0200] rev 47621

hide code generation facts in the Float theory, they are only exported for Approximation

nipkow [Fri, 20 Apr 2012 10:47:04 +0200] rev 47620

merged

nipkow [Fri, 20 Apr 2012 10:46:55 +0200] rev 47619

forgot to add file

huffman [Fri, 20 Apr 2012 10:18:08 +0200] rev 47618

make correspondence tactic more robust by replacing lhs with schematic variable before applying intro rules

wenzelm [Thu, 19 Apr 2012 23:18:47 +0200] rev 47617

merged

isabelle