doc-src/IsarAdvanced/Classes/Thy/Classes.thy
changeset 23653 560f8f41ade2
parent 22845 5f9138bcb3d7
child 23956 48494ccfabaf
equal deleted inserted replaced
23652:94eeb79be496 23653:560f8f41ade2