src/LCF/fix.thy
changeset 16813 67140ae50e77
parent 4905 be73ddff6c5a