isabelle: Changelog

wenzelm [Wed, 15 Jul 2009 23:50:40 +0200] rev 32012

merged

Christian Urban <urbanc@in.tum.de> [Wed, 15 Jul 2009 22:30:27 +0200] rev 32011

simplified proofs

wenzelm [Wed, 15 Jul 2009 23:48:21 +0200] rev 32010

more antiquotations;

wenzelm [Wed, 15 Jul 2009 23:11:57 +0200] rev 32009

eliminated obsolete legacy_varify;

wenzelm [Wed, 15 Jul 2009 21:42:24 +0200] rev 32008

tuned comment;

nipkow [Wed, 15 Jul 2009 20:34:58 +0200] rev 32007

Made "prime" executable

nipkow [Wed, 15 Jul 2009 15:09:33 +0200] rev 32006

More finite set induction rules

nipkow [Wed, 15 Jul 2009 12:44:41 +0200] rev 32005

made upt/upto executable on nat/int by simp

wenzelm [Tue, 14 Jul 2009 12:18:52 +0200] rev 32004

removed obsolete/unused legacy_unvarify;

wenzelm [Tue, 14 Jul 2009 12:10:44 +0200] rev 32003

tuned prepare_patternT: Term.exists_subtype;

isabelle