isabelle: Changelog

haftmann [Tue, 29 Jun 2010 11:25:04 +0200] rev 37612

adapted to reorganization of auxiliary list operations; split off predicate compiler into separate theory

haftmann [Tue, 29 Jun 2010 11:25:03 +0200] rev 37611

adapted to change in interface

haftmann [Tue, 29 Jun 2010 11:25:03 +0200] rev 37610

updated generated document

Christian Urban <urbanc@in.tum.de> [Tue, 29 Jun 2010 09:37:23 +0100] rev 37609

tuned

haftmann [Tue, 29 Jun 2010 07:55:18 +0200] rev 37608

merged

haftmann [Mon, 28 Jun 2010 15:32:27 +0200] rev 37607

tuned theory text

haftmann [Mon, 28 Jun 2010 15:32:26 +0200] rev 37606

inner_simps is not enough, need also local facts

haftmann [Mon, 28 Jun 2010 15:32:26 +0200] rev 37605

put section on distinctness before listsum; refined code generation operations; dropped ancient infix mem

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

explicit is better than implicit

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

avoid List.all

isabelle