src/Pure/item_net.ML
2009-03-17 ago turned structure NetRules into general Item_Net, which is loaded earlier;