src/Doc/Classes/Classes.thy
changeset 66787 64b47495676d
parent 62939 ef8d840f39fb
child 67406 23307fd33906
equal deleted inserted replaced
66786:61617dafcd60 66787:64b47495676d