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