summaryrefslogtreecommitdiff
path: root/Master/tlpkg/tlpsrc/tableaux.tlpsrc
blob: a746330ac6299ec21f9dd0ad2d3cfa8300b919c9 (plain)
1
name tableaux