doc-src/IsarAdvanced/Classes/Thy/Classes.thy
changeset 23027 2ca265156256
parent 22845 5f9138bcb3d7
child 23956 48494ccfabaf
equal deleted inserted replaced
23026:db38b8046294 23027:2ca265156256