summaryrefslogtreecommitdiff
path: root/Master/tlpkg/tlpsrc/ntheorem-vn.tlpsrc
blob: 42eabbea38db4e156069caabfd0e1f6e64e0cc2b (plain)
1
name ntheorem-vn