LFex.thy
changeset 536 44fa9df44e6f
parent 534 051bd9e90e92
child 541 94deffed619d
equal deleted inserted replaced
535:a19a5179fbca 536:44fa9df44e6f