src/Doc/Demo_LIPIcs/Document.thy
changeset 82969 dedd9d13c79c
parent 76987 4c275405faae