Attic/Quot/Examples/LamEx.thy
changeset 2914 db0786a521fd
parent 1991 ed37e4d67c65
equal deleted inserted replaced
2913:bc86f5c3bc65 2914:db0786a521fd