src/Pure/item_net.ML
Mon, 16 Nov 2009 21:56:32 +0100 wenzelm member/cons: slightly more correct treatment of multi-index, notably empty one;
Sun, 01 Nov 2009 20:55:39 +0100 wenzelm allow multi-index;
Tue, 17 Mar 2009 14:12:06 +0100 wenzelm turned structure NetRules into general Item_Net, which is loaded earlier;
less more (0) tip