isabelle: Changelog

haftmann [Mon, 28 Jun 2010 15:32:25 +0200] rev 37603

avoid List.all

haftmann [Mon, 28 Jun 2010 15:32:24 +0200] rev 37602

tuned whitespace

haftmann [Mon, 28 Jun 2010 15:32:24 +0200] rev 37601

tuned lemma formulations

haftmann [Mon, 28 Jun 2010 15:32:24 +0200] rev 37600

list_ex replaces list_exists

haftmann [Mon, 28 Jun 2010 15:32:20 +0200] rev 37599

tuned syntax

haftmann [Mon, 28 Jun 2010 15:32:17 +0200] rev 37598

explicit is better than implicit

haftmann [Mon, 28 Jun 2010 15:32:13 +0200] rev 37597

modernized specifications

haftmann [Mon, 28 Jun 2010 15:32:08 +0200] rev 37596

dropped ancient infix mem

haftmann [Mon, 28 Jun 2010 15:32:06 +0200] rev 37595

dropped ancient infix mem; refined code generation operations in List.thy

Christian Urban <urbanc@in.tum.de> [Tue, 29 Jun 2010 02:18:08 +0100] rev 37594

cosmetics: avoided statement of raw theorems, used the method descending instead

isabelle