| Fri, 23 Apr 2010 18:30:01 +0200 | wenzelm | Item_Net/Named_Thms: export efficient member operation; | file | diff | annotate |
| Mon, 16 Nov 2009 21:56:32 +0100 | wenzelm | member/cons: slightly more correct treatment of multi-index, notably empty one; | file | diff | annotate |
| Sun, 01 Nov 2009 20:55:39 +0100 | wenzelm | allow multi-index; | file | diff | annotate |
| Tue, 17 Mar 2009 14:12:06 +0100 | wenzelm | turned structure NetRules into general Item_Net, which is loaded earlier; | file | diff | annotate | base |