isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

Thu, 04 Dec 2014 16:51:54 +0100 tuned data structures

changeset

haftmann [Thu, 04 Dec 2014 16:51:54 +0100] rev 59102

tuned data structures

Thu, 04 Dec 2014 16:51:54 +0100 tuned target inheritance bookkeeping: ancestry is always fully maintained at current entry using canonical merge;

changeset

haftmann [Thu, 04 Dec 2014 16:51:54 +0100] rev 59101

tuned target inheritance bookkeeping: ancestry is always fully maintained at current entry using canonical merge; n. b. merging of bidirectional dependencies results in effective join of involved nodes: no termination problem since ancestry is always kept explicitly normalized

Thu, 04 Dec 2014 16:51:54 +0100 tuned

changeset

haftmann [Thu, 04 Dec 2014 16:51:54 +0100] rev 59100

tuned

Thu, 04 Dec 2014 16:51:54 +0100 tuned names

changeset

haftmann [Thu, 04 Dec 2014 16:51:54 +0100] rev 59099

tuned names

Thu, 04 Dec 2014 16:51:54 +0100 eta-expand all search patterns using schematic place holders

changeset

haftmann [Thu, 04 Dec 2014 16:51:54 +0100] rev 59098

eta-expand all search patterns using schematic place holders