src/HOL/Isar_examples/document/root.bib
changeset 12791 ccc0f45ad2c4
parent 10148 739327964a5c
child 14378 69c4d5997669
equal deleted inserted replaced
12790:8108791e2906 12791:ccc0f45ad2c4