m-chrzan.xyz
aboutsummaryrefslogtreecommitdiff
path: root/definitions.sty
AgeCommit message (Collapse)Author
2021-08-09Add Theorem definitionMarcin Chrzanowski
2021-08-07Add macro for defined termsMarcin Chrzanowski
2021-08-07Add an optional 'fixed parameters' parameterMarcin Chrzanowski
2021-08-07Define queryproblem macroMarcin Chrzanowski