Quot/Examples/LFex.thy
changeset 755 ae562c2ad96b
parent 731 e16523f01908
child 766 df053507edba