isabelle: Changelog

wenzelm [Wed, 27 Aug 2008 11:49:14 +0200] rev 28018

added General/properties.ML;

wenzelm [Wed, 27 Aug 2008 11:48:54 +0200] rev 28017

type Properties.T;

haftmann [Wed, 27 Aug 2008 11:24:35 +0200] rev 28016

proper error message

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

isabelle