thys3/src/BasicIdentities.thy
2022-04-29 Christian Urban updated to include the paper
less more (0) tip