Changes

Summary

Item_Net.retrieve_matching requires beta-eta normal form (amending 8976c5bc9e97);

Changeset 63632:a59d9b81be24 by wenzelm: Item_Net.retrieve_matching requires beta-eta normal form (amending 8976c5bc9e97);
The file was modified	`src/Pure/consts.ML` (diff)