doc-src/TutorialI/Misc/AdvancedInd.thy
changeset 21969 a8bf1106cb7c
parent 16417 9bc16273c2d4
child 25258 22d16596c306
equal deleted inserted replaced
21968:883cd697112e 21969:a8bf1106cb7c