src/LCF/pair.thy
changeset 7866 3ccaa11b6df9
parent 4905 be73ddff6c5a