summaryrefslogtreecommitdiff
path: root/Master/tlpkg/tlpsrc/projlib.tlpsrc
blob: b8ee3af57fad26403e4a06ef4adec22ae0ae3fb9 (plain)
1
hard create-theorem