HomeIsabelle/Phabricator

more concise instance-specific rules on euclidean relation