isabelle: Changelog

huffman [Thu, 14 Oct 2010 09:44:40 -0700] rev 40014

add record type synonym 'constr_info'

huffman [Thu, 14 Oct 2010 09:34:00 -0700] rev 40013

add function take_theorems

huffman [Thu, 14 Oct 2010 09:28:05 -0700] rev 40012

add type annotation to avoid warning

huffman [Wed, 13 Oct 2010 10:56:42 -0700] rev 40011

cleaned up Fun_Cpo.thy; deprecated a few theorem names

huffman [Wed, 13 Oct 2010 10:27:26 -0700] rev 40010

edit comments

huffman [Tue, 12 Oct 2010 09:32:21 -0700] rev 40009

remove unneeded lemmas Lift_exhaust, Lift_cases

huffman [Tue, 12 Oct 2010 09:08:27 -0700] rev 40008

move lemmas from Lift.thy to Cfun.thy

huffman [Tue, 12 Oct 2010 07:46:44 -0700] rev 40007

cleaned up Adm.thy

huffman [Tue, 12 Oct 2010 06:20:05 -0700] rev 40006

remove unneeded lemmas from Fun_Cpo.thy

huffman [Tue, 12 Oct 2010 05:48:32 -0700] rev 40005

remove unused lemmas

isabelle