isabelle: Changelog

Christian Urban <urbanc@in.tum.de> [Tue, 29 Jun 2010 01:38:29 +0100] rev 37593

separated the lifting and descending procedures in the quotient package

Christian Urban <urbanc@in.tum.de> [Mon, 28 Jun 2010 16:20:39 +0100] rev 37592

separation of translations in derive_qtrm / derive_rtrm (similarly for types)

haftmann [Mon, 28 Jun 2010 15:03:07 +0200] rev 37591

merged constants "split" and "prod_case"

haftmann [Mon, 28 Jun 2010 15:03:07 +0200] rev 37590

merged constants "split" and "prod_case" -- nitpick behaves differently

haftmann [Mon, 28 Jun 2010 15:03:06 +0200] rev 37589

tuned whitespace

blanchet [Mon, 28 Jun 2010 13:36:21 +0200] rev 37588

merged

blanchet [Mon, 28 Jun 2010 11:04:02 +0200] rev 37587

compile

blanchet [Mon, 28 Jun 2010 08:55:46 +0200] rev 37586

merged

blanchet [Fri, 25 Jun 2010 23:35:14 +0200] rev 37585

multiplexing

blanchet [Fri, 25 Jun 2010 18:34:06 +0200] rev 37584

factor out thread creation

isabelle