isabelle: Changelog

haftmann [Wed, 27 Aug 2008 11:24:34 +0200] rev 28015

proper handling of type variabl names

haftmann [Wed, 27 Aug 2008 11:24:32 +0200] rev 28014

completing arities after subclass instance

haftmann [Wed, 27 Aug 2008 11:24:31 +0200] rev 28013

untabification

haftmann [Wed, 27 Aug 2008 11:24:29 +0200] rev 28012

tuned code generator setup

urbanc [Wed, 27 Aug 2008 04:47:30 +0200] rev 28011

added equivariance lemmas for ex1 and the

huffman [Wed, 27 Aug 2008 01:27:33 +0200] rev 28010

add lemmas about Rats similar to those about Reals

huffman [Tue, 26 Aug 2008 23:49:46 +0200] rev 28009

move real_vector class proofs into vector_space and group_hom locales

krauss [Tue, 26 Aug 2008 18:59:52 +0200] rev 28008

added distributivity of relation composition over union [simp]

wenzelm [Tue, 26 Aug 2008 16:36:30 +0200] rev 28007

tuned append;

wenzelm [Tue, 26 Aug 2008 16:36:11 +0200] rev 28006

command: symbols.encode;

isabelle