doc-src/TutorialI/Rules/Forward.thy
changeset 41648 6d736d983d5c
parent 27658 674496eb5965
child 45617 cc0800432333
equal deleted inserted replaced
41647:5e70526a1947 41648:6d736d983d5c