Quot/Examples/LFex.thy
changeset 665 cc0fac4fd46c
parent 663 0dd10a900cae
child 685 b12f0321dfb0