src/LCF/ex/Ex1.thy
changeset 12476 eca43a50e4a4
parent 4905 be73ddff6c5a
child 17248 81bf91654e73
equal deleted inserted replaced
12475:18ba10cc782f 12476:eca43a50e4a4