src/HOL/Isar_examples/document/root.tex
changeset 29005 ce378dcfddab
parent 18193 54419506df9e
child 31758 3edd5f813f01
equal deleted inserted replaced
29004:a5a91f387791 29005:ce378dcfddab