LFex.thy
changeset 591 01a0da807f50
parent 584 97f6e5c61f03
child 586 cdc6ae1a4ed2
equal deleted inserted replaced
585:b16cac0b7c88 591:01a0da807f50