doc-src/TutorialI/Rules/Tacticals.thy
changeset 37832 f8fcfc678280
parent 16417 9bc16273c2d4
equal deleted inserted replaced
37831:fa3a2e35c4f1 37832:f8fcfc678280