summaryrefslogtreecommitdiff
path: root/Master/tlpkg/tlpsrc/ntheorem.tlpsrc
blob: 96828dfb5a0206d1595f70123994ef9932341486 (plain)
1
name ntheorem