summaryrefslogtreecommitdiff
path: root/Master/tlpkg/tlpsrc/create-theorem.tlpsrc
blob: 15a90b22666a3b9ba2c7728c1b5bb71630735d56 (plain)
1
depend crefthe