Mentions légales du service

Skip to content

Fix conjunctions in Isabelle (fix #491).

Guillaume Melquiond requested to merge fix-491 into master

This is a port of !550 (merged) to the new version of Isabelle.

Merge request reports