Moved mm-aux to notes (it does not seem to be used anywhere)
wigner: added introduction
func-calculus: added a label for basis properties
wigner/op-calculus: fixed notation